dawidvc Goto Github PK

finite-galaxy

A free and open source space exploration game, derived from https://github.com/endless-sky/endless-sky

foundry

Foundry Compiler

freecad-library

A library of Parts for FreeCAD. WARNING - This library is huge. It might take a long time to download and make the addons manager unresponsive for many minutes.

frenetic

The Frenetic Programming Language and Runtime System

fsharp

The F# compiler and core library (open edition)

fstar

An ML-like language with a type system for program verification

gcodemacros

A collection of useful macros for use with RepRapFirmware.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

hamlet

SML reference interpreter

hol-reflection

hpx

A general purpose parallel C++ runtime system for distributed applications of any scale

iburg

A Tree Parser Generator

jcgo

Java source to C code translator (JCGO)

jubilee

jubilee source files; for the docs, see:

julia

The Julia Language: A fresh approach to technical computing.

kle-parts

lambda_calculus

Lambda calculus implementation in standard ML

languagetool

Proofreading tool for 25+ languages

libatomic_ops

The atomic_ops project (Atomic memory update operations portable implementation)

librope

UTF-8 rope library for C

linearml

Functional language for parallel programming

llvm-openrisc

Example OpenRISC backend

lobster

The Lobster Programming Language

logix

Multi-Language Programming for Python (no longer maintaining)

luna

luna programming language - a small, elegant VM implemented in C

magpie

The Magpie programming language

manticore

Mirror of the Parallel ML compiler

mark

A simple and unified notation for both object data, like JSON, and markup data, like HTML and XML. (beta)

mc

Myrddin Compiler

meta

Val Schorre's META-II