Pinned Repositories
algo
Basic algorithms.
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
copper
how-to-prove-it
mu-puzzle
https://en.wikipedia.org/wiki/MU_puzzle
stat
heutagogy-backend
heutagogy-chrome-extension
heutagogy-frontend
drets's Repositories
drets/how-to-prove-it
drets/mu-puzzle
https://en.wikipedia.org/wiki/MU_puzzle
drets/copper
drets/stat
drets/applied-fp-course
drets/apply-refact
Refactor Haskell source files
drets/articles
Miscellaneous articles. The readme is the table of contents.
drets/build-your-own-x
🤓 Build your own (insert technology here)
drets/de_faq
Полезная информация о жизни в Германии
drets/dots
Configuration files.
drets/drets.github.io
drets/heutagogy-backend
drets/heutagogy-chrome-extension
drets/heutagogy-frontend
drets/heutagogy-website
drets/HeutagogyMobileApp
drets/hnix
A Haskell re-implementation of the Nix expression language
drets/iron
Coq formalizations of functional languages.
drets/layout
My custom keyboard layout
drets/nixpkgs
Nix Packages collection
drets/normalises
drets/pamparam
Simple and fast flashcards for Emacs
drets/presentations
drets/project-m36
Project: M36 Relational Algebra Engine
drets/purescript
A small strongly typed language that compiles to Javascript
drets/scheme-haskell-48h
drets/trypurescript
PureScript in the browser
drets/ts-bc
Yet another JS to JS transpiler implemented in JS
drets/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
drets/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript