Pinned Repositories
agda
The theory of algebraic graphs formalised in Agda
alga-tutorials
Tutorials for alga
coc-lean
A calculus of constructions in Lean
dhall-check
Check all the .dh files in a directory against a given type signature
elm-units
Unit conversions for elm
file-templates
Use templates for files and directories
TodoMVC-CoffeeScript-and-Vue.js
A TodoMVC implementation based on the official example by Evan You - DEPRECATED based on Vue 1.0
koka
Koka language compiler and interpreter
lean
Lean 3 Theorem Prover (community fork)
naproche
Write formal proofs in natural language and LaTeX.
anfelor's Repositories
anfelor/coc-lean
A calculus of constructions in Lean
anfelor/alga-tutorials
Tutorials for alga
anfelor/dhall-check
Check all the .dh files in a directory against a given type signature
anfelor/elm-units
Unit conversions for elm
anfelor/file-templates
Use templates for files and directories
anfelor/dhallow
The blogging system behind anfelor.github.io
anfelor/EasyMacros
A proposal to Haskell - deprecated in favor of a programming language to be released soon
anfelor/Naproche-SAD
DEPRECATED. The official repository is at naproche-community/naproche now
anfelor/website
anfelor/pfenning-oplss
anfelor/agda
The theory of algebraic graphs formalised in Agda
anfelor/alga
Algebraic graphs
anfelor/anchored-rectangles
anfelor/anfelor.github.io
The code for my blog:
anfelor/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
anfelor/elm-parts
Elm library to reduce Elm Architecture boilerplate
anfelor/flambda-backend
The Flambda backend project for OCaml
anfelor/gc-benchmarks
garbage collection benchmarks by Andras Kovacs
anfelor/gen-passwd
Generate a wordlist-based password easily
anfelor/graph-benchmarks
Benchmarks for haskell graph data structures
anfelor/haskellfoundation.github.io
The Haskell Foundation website, hosted by GitHub Pages.
anfelor/json_to_dart
Library that generates dart classes from json strings
anfelor/koka-maximum-cardinality-matching
Edmonds algorithm in Koka and C++
anfelor/lean
Lean Theorem Prover
anfelor/lean4
Lean 4 programming language and theorem prover
anfelor/mode-semantics
anfelor/obelisk
Functional reactive web and mobile applications, with batteries included.
anfelor/ocaml-jst
OCaml plus Jane Street extensions
anfelor/summer-of-haskell
Source code of summer.haskell.org
anfelor/trainkata
See https://github.com/emilybache/KataTrainReservation