Dimi Racordon

LogicKit. A Prolog-like language as a Swift Embedded Domain Specific Language.

mvs-calculus. Compiler for Swiftlet

petri-js. A Javascript library to display and interact with Petri Nets.

Diesel. A Swift library to write parsers for domain specific languages.

DDKit. Pure Swift library of Decision Diagrams.

SKTiledParser. A simple parser to create SKTileMapNodes from Tiled .tmx files.

PetriKit. PetriNet toolset for swift

SwiftKanren. A Swift implementation of miniKanren.

FunBlocks. The FunBlocks programming environment

tango. The tango programming language.

Cocodol. A simplistic compiler for a simplistic language

Flask-SocketAPI. Lightweight library to create streaming APIs over Flask-SocketIO.

AlpineLang. The Alpine language

swift-thoughts. Swift Tutorial

SwiftSDD. A Swift wrapper to libsdd.

dyva. The Dyva Programming Language

spaction. A tool to model check quantitative properties using CLTL.

py-ydd. A library to use YaDDs in Python.

ArgParse. Pure Swift utility for command-line options and arguments.

stew. Python

nirc. A compiler for Scala-native IR

void-lang. The void programming language

es-stdlib. The missing standard library of EcmaScript

django-meho. Django reusable app for multimedia encoding and hosting

Archivist. Tiny library to serialize and deserialize data structures.

fuel. A compiler toolchain for memory safety checking

Penguin. A safe subset of Swift.

StyledString. A small string utility for styling and formatting purposes.

kyouko-taiga. Public profile.

scala-altlib. Ideas for an alternative collection library for Scala

swift-containers. A package gathers the implementation of various containers.

scala-hylolib. An implementation of Hylo's standard library in Scala

corocheck. Coroutines-based parallel model checker

tango-llvm. C++

AlgorithmKit. A collection of algorithms and data structures written in pure Swift.

SafeScript. Safer dialect of JavaScript

vimpl-2025-artifact. Companion code for the paper "Who Owns the Contents of a Doubly-Linked List?" presented at VIMPL25

IsometricKit. Swift

Swambda. Minimalistic interpreter for the untyped λ-calculus in Swift.

twitter-text-python. Twitter text processing library (auto linking and extraction of usernames, lists and hashtags).

ovn-frontend. HTML

Petri-iOS. An iOS game to learn Petri nets

more-swift-collections. A collection of collections for Swift

trexmo. Tool for occupational exposure modelling

react-bash. A configurable/extendable bash terminal React component