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/1ml
1ML prototype interpreter
DawidvC/ante
The compile-time language
DawidvC/bisoncpp
Bisonc++ is a parser generator like bison, but it generates C++ code
DawidvC/chapel
a Productive Parallel Programming Language
DawidvC/esl
Compiler for a new programming language: Embedded Systems Language (ESL).
DawidvC/finite-galaxy
A free and open source space exploration game, derived from https://github.com/endless-sky/endless-sky
DawidvC/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.
DawidvC/GcodeMacros
A collection of useful macros for use with RepRapFirmware.
DawidvC/hamlet
SML reference interpreter
DawidvC/jubilee
jubilee source files; for the docs, see:
DawidvC/KLE-parts
DawidvC/manticore
Mirror of the Parallel ML compiler
DawidvC/mark
A simple and unified notation for both object data, like JSON, and markup data, like HTML and XML. (beta)
DawidvC/mc
Myrddin Compiler
DawidvC/mixml
MixML prototype interpreter
DawidvC/mps
The Memory Pool System
DawidvC/mrustc
Alternative rust compiler (re-implementation)
DawidvC/ocaml-parsing
Boilerplate code for writing parsers in OCaml using Menhir + sedlex
DawidvC/physical
Physical units, constants, conversion, parsing, and runtime dimensional analysis package for C++, python, and others.
DawidvC/PhysUnits-CT
A C++ header-only library for compile-time dimensional analysis and unit/quantity manipulation and conversion
DawidvC/PhysUnits-CT-Cpp11
A small C++11, C++14 header-only library for compile-time dimensional analysis and unit/quantity manipulation and conversion
DawidvC/potion
_why the lucky stiff's little language (the official repo... until _why returns)
DawidvC/qbe
A Quick Backend
DawidvC/RepRapFirmware
OO C++ RepRap Firmware
DawidvC/RTMLton
MLton with Realtime GC and Threading features
DawidvC/saphyr
A C++ like compiler
DawidvC/smlsharp
SML# compiler
DawidvC/timl
TiML: A Functional Programming Language with Time Complexity
DawidvC/units
a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.
DawidvC/yomm2
Fast, orthogonal, open multi-methods. Supersedes yomm11.