Giters
Dawid van Coller (DawidvC)

DawidvC

Geek Repo

5

followers

32

following

55

stars

Location:South Africa

Github PK Tool:Github PK Tool

Dawid van Coller's repositories

mythryl

The Mythryl programming language

Language:TeXLicense:NOASSERTIONStargazers:1Issues:2Issues:0

type-systems

Implementations of various type systems in OCaml.

Language:OCamlLicense:UnlicenseStargazers:1Issues:2Issues:0

aliceml

A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming

Stargazers:0Issues:2Issues:0

c2compiler

the c2 programming language

Language:C++Stargazers:0Issues:2Issues:0

ChessAi

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

dactyl-keyboard

Parameterized ergonomic keyboard

Language:OpenSCADLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

endless-sky

Space exploration, trading, and combat game.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

felix

The Felix Programming Language

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hol-reflection

Language:Standard MLStargazers:0Issues:0Issues:0

mi

An experimental compiler for the sml language

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mlkit

Standard ML Compiler and Toolkit

Language:Standard MLStargazers:0Issues:0Issues:0

mlton

The MLton repository

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mlworks

MLWorks is a Standard ML compiler and development environment.

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-m17n

Multilingualization for the OCaml source code

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

ocamleditor

OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. Runs on Linux and Windows.

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:2Issues:0

OctoPi

Scripts to build OctoPi, a Raspberry PI distro for controlling 3D printers over the web

Language:ShellStargazers:0Issues:2Issues:0

PhysUnits-RT

A C++ header-only library for run-time dimensional analysis and unit/quantity manipulation and conversion

Language:C++License:BSL-1.0Stargazers:0Issues:2Issues:0

pyret-ocaml

Port of the Pyret Compiler to OCaml

Language:OCamlStargazers:0Issues:2Issues:0

ReST32

A modular 3D Printer Controller based on the STM32Duino project

Language:KiCad LayoutStargazers:0Issues:2Issues:0

RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

Language:OCamlStargazers:0Issues:2Issues:0

smackage

Smackage Package Manager for Standard ML

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sml-json

Unicode-Aware JSON Parser for Standard ML

Language:Standard MLStargazers:0Issues:0Issues:0

sml-typed-abts

indexed second-order abstract syntax

Language:Standard MLStargazers:0Issues:2Issues:0

sml-util

A handful of potentially useful crap for Standard ML

Language:Standard MLLicense:MITStargazers:0Issues:0Issues:0

Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

Language:TeXStargazers:0Issues:2Issues:0

tensor

Standard ML tensor/multidimensional array library

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

unicode

Utf8 processing support for Standard ML

Language:Standard MLLicense:MITStargazers:0Issues:2Issues:0

voat

The code that powers Voat

Language:C#License:GPL-3.0Stargazers:0Issues:0Issues:0

voat-container

Containerized version of https://voat.co

Language:PLpgSQLLicense:GPL-3.0Stargazers:0Issues:2Issues:0