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/chess
Ecere Chess
DawidvC/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
DawidvC/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
DawidvC/Cbang
C! programming language
DawidvC/Chapel-Package-Manager
ChPM is Very Pre-Alpha
DawidvC/chime
The Chime Programming Language, Runtime, and Core Library
DawidvC/clang-glambda
An Implementation of generic (polymorphic) lambdas using clang (llvm version 167560 [11/7/12]); based on C++ Portland October 2012 meeting
DawidvC/clay
The Clay programming language
DawidvC/DaoGenomeTools
Dao bindings for the GenomeTools library
DawidvC/embedded-ml
A compiler for a Standard-ML like language that generates code suitable for embedded computers.
DawidvC/foundry
Foundry Compiler
DawidvC/fsharp
The F# compiler and core library (open edition)
DawidvC/languagetool
Proofreading tool for 25+ languages
DawidvC/libatomic_ops
The atomic_ops project (Atomic memory update operations portable implementation)
DawidvC/librope
UTF-8 rope library for C
DawidvC/llvm-openrisc
Example OpenRISC backend
DawidvC/lobster
The Lobster Programming Language
DawidvC/magpie
The Magpie programming language
DawidvC/min-caml
min-caml[forked]
DawidvC/packages
List of packages for babel
DawidvC/PreML
Preprocessor for SML
DawidvC/project-euler
Project Euler, in Chapel!
DawidvC/skalpel
A type error slicer for Standard ML
DawidvC/sml-testing
Simple framework for testing Standard ML code.
DawidvC/SMLUnit
unit testing framework for StandardML and SML#
DawidvC/tinygc
TinyGC (Tiny Garbage Collector) is an independent implementation of the subset of API of the well-known Boehm-Demers-Weiser Conservative GC
DawidvC/treesheets
TreeSheets : Free Form Data Organizer (see treesheets.com)
DawidvC/twelf
The Twelf Programming Language (mirror of SVN repository)
DawidvC/ulex
DawidvC/yasca
Yet Another Source Code Analyzer