Pinned Repositories
1ml
1ML prototype interpreter
aliceml
A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
ante
The compile-time language
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
chess
Ecere Chess
FStar
An ML-like language with a type system for program verification
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
mythryl
The Mythryl programming language
type-systems
Implementations of various type systems in OCaml.
DawidvC's Repositories
DawidvC/eve-language
A purely functional programming language intended for practical programming.
DawidvC/extended-basis
An extension of the Standard ML Standard Basis Library
DawidvC/Logix
Multi-Language Programming for Python (no longer maintaining)
DawidvC/mythryl-1
Outdated fork adding debian support. Updated source code in Launchpad.net
DawidvC/ocamlllvm
A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binaries produced by ocamlopt.
DawidvC/prop-cc
Prop Compiler Compiler is a an augmented C++ to C++ translator. Adding Algebraic Data Types, pattern matching, parser generator and lexer generator, amongst other augmentations.
DawidvC/Rope
C++ rope implementation
DawidvC/scala-llvm
This repository is now obsolete, see https://github.com/greedy/scala
DawidvC/sml-ext
Utilities for Standard ML
DawidvC/SMLDoc
SMLDoc, detached from the SML# distribution
DawidvC/smlunit-1
Unit testing for Standard ML of New Jersey (SML/NJ) lol