DawidvC/mythryl
The Mythryl programming language
Developer Profile
DawidvC
Discovered public repositories for DawidvC in the GitHub catalog.
DawidvC/FStar
An ML-like language with a type system for program verification
DawidvC/frenetic
The Frenetic Programming Language and Runtime System
DawidvC/eff
A functional programming language based on algebraic effects and their handlers.
DawidvC/project-euler
Project Euler, in Chapel!
DawidvC/eve-language
A purely functional programming language intended for practical programming.
DawidvC/julia
The Julia Language: A fresh approach to technical computing.
DawidvC/rust
a safe, concurrent, practical language
DawidvC/WhileyCompiler
The Whiley Compiler (WyC)
DawidvC/lobster
The Lobster Programming Language
DawidvC/Chapel-Package-Manager
ChPM is Very Pre-Alpha
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/Cbang
C! programming language
DawidvC/fsharp
The F# compiler and core library (open edition)
DawidvC/packages
List of packages for babel
DawidvC/clay
The Clay programming language
DawidvC/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
DawidvC/treesheets
TreeSheets : Free Form Data Organizer (see treesheets.com)
DawidvC/languagetool
Proofreading tool for 25+ languages
DawidvC/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
DawidvC/JCGO
Java source to C code translator (JCGO)
DawidvC/Rope
C++ rope implementation
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/libatomic_ops
The atomic_ops project (Atomic memory update operations portable implementation)
DawidvC/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
DawidvC/chess
Ecere Chess
DawidvC/librope
UTF-8 rope library for C
DawidvC/scala-llvm
This repository is now obsolete, see https://github.com/greedy/scala
DawidvC/Clang-tutorial
A collection of code samples showing usage of clang and llvm as a library
DawidvC/yasca
Yet Another Source Code Analyzer
DawidvC/meta
Val Schorre's META-II
DawidvC/llvm-openrisc
Example OpenRISC backend
DawidvC/nemerle
Nemerle language. Local repository.
DawidvC/magpie
The Magpie programming language
DawidvC/hpx
A general purpose parallel C++ runtime system for distributed applications of any scale
DawidvC/chime
The Chime Programming Language, Runtime, and Core Library
DawidvC/luna
luna programming language - a small, elegant VM implemented in C
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/DaoOpenGL
Dao bindings for OpenGL
DawidvC/DaoSDL
Dao bindings for the Simple DirectMedia Layer (SDL) library
DawidvC/DaoGenomeTools
Dao bindings for the GenomeTools library
DawidvC/dao-modules
Dao Standard Modules
DawidvC/dao
Mirror of The Official Dao Repository
DawidvC/c2compiler
the c2 programming language