NicklasBoto

NicklasBoto's Stars

• compiler-explorer/compiler-explorer

  Run compilers interactively from your web browser and interact with the assembly

  Language:TypeScript16.7k2523.4k1.8k

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k19150254

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript3k2822985

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k60596195

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9804450186

• Gabriella439/turtle

  Shell programming, Haskell style

  Language:Haskell9462323990

• pandoc-scholar/pandoc-scholar

  Create beautiful and semantically meaningful articles with pandoc.

  Language:Lua475273750

• tweag/linear-base

  Standard library for linear types in Haskell.

  Language:Haskell3383416637

• haskell/happy

  The Happy parser generator for Haskell

  Language:Haskell2941314984

• inQWIRE/SQIR

  A Small Quantum Intermediate Representation

  Language:Coq8181424

• dabacon/qsel

  Quantum programming language putting entanglement and superposition front and center

  Language:Python404019

• jpaykin/LNLHaskell

  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

  Language:Haskell35302

• dabacon/essays

  Quantum ramblings and more

  245310

• bryal/carth

  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/

  Language:Haskell22301

• NicklasBoto/funQ

  Functional Quantum Programming

  Language:Haskell19231

• ErikThorsell/chalmersnotes

  Notes from the Computer Science program at Chalmers Uni. of Technology

  14500

• evgenyneu/trigonometric_identities_latex

  Trigonometric identities in LaTeX format

  Language:TeX12336

• odddollar/Container-lang

  Source code for the Container-lang programming language

  Language:Go11100

• adelhult/koda

  :last_quarter_moon_with_face: Programming lang with Swedish syntax

  Language:Rust7371

• adelhult/grudat

  Interaktiv FLISP-handbok som gör det lite enklare att lära sig skriva program till FLIS-processorn

  Language:JavaScript5100

• dheurlin/hrave

  Emulates the automation features of an 80's home organ by reading from a MIDI controller, modifying and enhancing those MIDI messages, and writing the output to a virtual MIDI port

  Language:Haskell3200

• nilsmo1/Hnefatafl

  Hnefatafl game

  Language:Python310

• VictorElHajj/drust-inventarie

  Dags att göra om det igen

  Language:Haskell22220

• MC2QuantumSimulator/QCompSimulator

  Language:Python1200

• nilsmo1/BF-interpreter

  An interpreter for Brainfuck

  Language:Brainfuck1

• nilsmo1/cmdlatex

  LaTeX to png script

  Language:Shell110

• nilsmo1/pytable

  Printable tables in python

  Language:Python110

• nilsmo1/turing-machine-sim

  Turing machine simulator

  Language:C++1

• Pazzaz/equivalence-classes

  Language:Rust10

• VictorElHajj/apk-backend

  Backend for alkoholperkrona.nu

  Language:Ruby1200