Dima's repositories
apply-refact
Refactor Haskell source files
build-your-own-x
🤓 Build your own (insert technology here)
dots
Configuration files.
Language:Emacs Lisp000
Language:NixAGPL-3.0000
Language:JavaScriptAGPL-3.0000
Language:JavaScriptAGPL-3.0000
Language:JavaScriptAGPL-3.0000
iron
Coq formalizations of functional languages.
Language:CoqNOASSERTION000
nixpkgs
Nix Packages collection
Language:NixNOASSERTION000
Language:PureScript000
pamparam
Simple and fast flashcards for Emacs
Language:Emacs Lisp000
Language:Haskell000
project-m36
Project: M36 Relational Algebra Engine
Language:HaskellUnlicense000
purescript
A small strongly typed language that compiles to Javascript
Language:HaskellBSD-3-Clause000
trypurescript
PureScript in the browser
Language:HaskellBSD-3-Clause000
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
Language:TypeScriptNOASSERTION000