NicklasBoto
I only make useless things. Algorithms, languages, and logic, Msc. at Chalmers.
Chalmers University of Technology
Pinned Repositories
BruSKI
"DeBruijn to SKI" Untyped language that compiles to Unlambda
brzozowski
Haskell library for formal language theory
funQ
Functional Quantum Programming
funQ-tasks
User testing tasks for funQ
lexikoda
lua to koda translator
russell
new language lol
signe
Bringing the power of functional programming to quantum computing
Unlambda
Haskell Unlambda Interpreter
zedex
zeta-minimal
Closed-term implementation of the minimal Zeta-calculus
NicklasBoto's Repositories
NicklasBoto/funQ
Functional Quantum Programming
NicklasBoto/BruSKI
"DeBruijn to SKI" Untyped language that compiles to Unlambda
NicklasBoto/signe
Bringing the power of functional programming to quantum computing
NicklasBoto/Unlambda
Haskell Unlambda Interpreter
NicklasBoto/funQ-tasks
User testing tasks for funQ
NicklasBoto/russell
new language lol
NicklasBoto/zedex
NicklasBoto/zeta-minimal
Closed-term implementation of the minimal Zeta-calculus
NicklasBoto/brzozowski
Haskell library for formal language theory
NicklasBoto/lexikoda
lua to koda translator
NicklasBoto/COVIDSIM
Very naive disease spread simulator
NicklasBoto/ghp-zeta
NicklasBoto/kaktus
Pure FAFO
NicklasBoto/koda
:last_quarter_moon_with_face: Experiment: Lua with Swedish syntax
NicklasBoto/nicbot.xyz
nicbot.xyz content
NicklasBoto/pLam
An interpreter for learning and exploring pure λ-calculus
NicklasBoto/plugg
NicklasBoto/QML
Decoherence-free quantum conditionals using expression orthogonality
NicklasBoto/tatt
TA time table
NicklasBoto/Tower-Defence
Tower Defence game, for OOP course