Pinned Repositories
6model
Just a place that I'm keeping some meta-model prototyping; anything that matters will make it to another repo (e.g. nqp-rx one or Rakudo one) at some point.
_
_
abstract-algorithm
Optimal evaluator of λ-calculus terms.
Barliman
Prototype smart text editor
bwave
terminal/shell/editor built on titzer/virgil, compiles (itself) to wasm
chevrotain
Parser Building Toolkit for JavaScript
cloud9
Cloud9 IDE - The modern IDE built on Node, JavaScript and HTML5. This is the OSS component of the broader service option at c9.io
component-fetcher
Utility for fetching the public list of NoFlo components and component libraries
cs240h
Reference type checker for the Lean Theorem Prover
csmeta
diakopter's Repositories
diakopter/bwave
terminal/shell/editor built on titzer/virgil, compiles (itself) to wasm
diakopter/abstract-algorithm
Optimal evaluator of λ-calculus terms.
diakopter/chevrotain
Parser Building Toolkit for JavaScript
diakopter/csmeta
diakopter/discourse-hide-views-column
A theme component for Discourse
diakopter/elementary-affine-calculus
A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
diakopter/Elementary-Affine-Net-legacy
diakopter/Formality
An efficient minimal programming language and proof assistant.
diakopter/formality-core
diakopter/Formality-Net-legacy
diakopter/HVM
A massively parallel, optimal functional runtime in Rust
diakopter/idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
diakopter/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
diakopter/Idris2-SH
Idris2s all the way down
diakopter/inpla
Inpla: Interaction nets as a programming language (the current version)
diakopter/kl7
SEC/KL-7 Cipher Machine Simulator with CLI
diakopter/lean
Lean Theorem Prover
diakopter/material-design-stock-theme
diakopter/mkleanbook
diakopter/moon-lang
Minimal code-interchange format
diakopter/Moonad
A Peer-to-Peer Operating System
diakopter/ohm-editor
An IDE for the Ohm language (JavaScript edition)
diakopter/optimul
Multiplication on optimal λ-calculus reducers
diakopter/riscv-fs
F# RISC-V Instruction Set formal specification
diakopter/Roadmap
diakopter/sigaba
A CLI to the ECM Mark II (SIGABA) cipher
diakopter/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
diakopter/truthlang
diakopter/VictorTaelinarticles
Thoughts and stuff
diakopter/virgil
A fast and lightweight native programming language