Dimi Racordon's Projects
A collection of algorithms and data structures written in pure Swift.
Algebraic Petri Net Editor
The Alpine language
Preliminary exploration of a DSL for microcontroller programming
Pure Swift utility for command-line options and arguments.
Tango language support in Atom
Arbitrary-precision arithmetic in pure Swift
A simplistic compiler for a simplistic language
Coroutines-based parallel model checker
Pure Swift library of Decision Diagrams.
A Swift library to write parsers for domain specific languages.
Django reusable app for multimedia encoding and hosting
The Scala Documentation website
The Scala 3 compiler, also known as Dotty.
The missing standard library of EcmaScript
Lightweight library to create streaming APIs over Flask-SocketIO.
A compiler toolchain for memory safety checking
The FunBlocks programming environment
Code for the game "Infect me if you can"
Public profile.
Personal website.
A generic C++ library for Hierarchical Set Decision Diagrams
A Swift wrapper for the LLVM C API (version 5.0)
A Prolog-like language as a Swift Embedded Domain Specific Language.
A minimalistic open-source bug tracker.
Compiler for Swiftlet
A compiler for Scala-native IR
Cours de Bachelor : Outils Formels de Modélisation
Cours de Bachelor : Outils Formels de Modélisation