NicklasBoto

Nicklas Botö's repositories

funQ

Functional Quantum Programming

Language:HaskellGPL-3.019 2 3

BruSKI

"DeBruijn to SKI" Untyped language that compiles to Unlambda

Language:HaskellGPL-3.010 2 5

signe

Bringing the power of functional programming to quantum computing

Language:HaskellGPL-3.05 1 1

Unlambda

Haskell Unlambda Interpreter

Language:HaskellGPL-3.04 3 2

funQ-tasks

User testing tasks for funQ

Language:ShellAGPL-3.01 10

russell

new language lol

Language:HaskellGPL-3.01 10

zedex

Language:Haskell1 1 1

brzozowski

Haskell library for formal language theory

Language:HaskellGPL-3.0000

lexikoda

lua to koda translator

GPL-3.0010

COVIDSIM

Very naive disease spread simulator

Language:Python010

ghp-zeta

Language:CSS010

kaktus

Pure FAFO

Language:HaskellGPL-3.0000

koda

:last_quarter_moon_with_face: Experiment: Lua with Swedish syntax

Language:RustMIT000

nicbot.xyz

nicbot.xyz content

Language:CSS010

pLam

An interpreter for learning and exploring pure λ-calculus

Language:HaskellMIT000

plugg

000

QML

Decoherence-free quantum conditionals using expression orthogonality

Language:HaskellGPL-3.0010

tatt

TA time table

Language:RustGPL-3.0010

Tower-Defence

Tower Defence game, for OOP course

Language:JavaMIT010

zeta-minimal

Closed-term implementation of the minimal Zeta-calculus

Language:HaskellNOASSERTION010