🏃♂️
Running away from the POOH
FP protagonist. You can also call me Connor :)
- Crazy Universe
-
16:33
(UTC +08:00)
Lists (15)
Sort Name ascending (A-Z)
- All languages
- ASL
- Agda
- Arduino
- Assembly
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mathematica
- NCL
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PowerShell
- PureScript
- Python
- Ruby
- Rust
- Scala
- ShaderLab
- Shell
- SourcePawn
- SuperCollider
- Swift
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- jq
- mcfunction
Starred repositories
3
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
being the teaching materials and exercises for CS410 in the 2018/19 session
Formal specifications of the cardano ledger