λ Rüzgar Imski's repositories
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
propagators
The Art of the Propagator
rules
Durable Rules Engine
HVM
A massively parallel, optimal functional runtime in Rust
Kind2
A next-gen functional language
terminusdb
TerminusDB is a distributed database with a collaboration model
JPEGX
Decentralized NFT Options Protocol
ModalDecisionTrees.jl
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
ohm
A library and language for building parsers, interpreters, compilers, etc.
kripfy
A Kripke structure modelling framework
effects.js
Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects
dht
The DHT powering Hyperswarm
hypercore
Hypercore is a secure, distributed append-only log.
clingo
🤔 A grounder and solver for logic programs.
Diagrammar
Diagramming Prototype
half_earth
Half-Earth Socialism: The Game, for Half-Earth Socialism (Verso 2022)
Discord-Telegram-Bridge
Discord <-> Telegram Bridge
tokengt
[NeurIPS'22] Tokenized Graph Transformer (TokenGT), in PyTorch
sankey-plus
A JavaScript library for computing and drawing Sankey graphs
fop-fluid-options
Super Fluid Options for ETHOnline2022
hyperswarm
A distributed networking stack for connecting peers.
html-tokenizer
HTML tokenizer and parser. Works in node or browsers.
product-space-eci-workshop
Economic
Telegram-To-Discord
Mirror all messages from Telegram channels to Discord via a webhook also translate any message that is not in English.
observable-membrane
A Javascript Membrane implementation using Proxies to observe mutation on an object graph
Cardigan
Hypercard clone in React. Very much a work in progress.
Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.