Beast code in Giters

Dima's repositories

how-to-prove-it

Language:Pure Data500

mu-puzzle

https://en.wikipedia.org/wiki/MU_puzzle

Language:Coq2 30

copper

Language:PureScriptBSD-3-Clause100

stat

Language:JavaScript030

applied-fp-course

Language:HaskellNOASSERTION000

apply-refact

Refactor Haskell source files

Language:HaskellBSD-3-Clause000

articles

Miscellaneous articles. The readme is the table of contents.

Language:Haskell000

build-your-own-x

🤓 Build your own (insert technology here)

000

de_faq

Полезная информация о жизни в Германии

Language:ShellMIT000

dots

Configuration files.

Language:Emacs Lisp000

drets.github.io

Language:HTML000

heutagogy-backend

Language:NixAGPL-3.0000

heutagogy-chrome-extension

Language:JavaScriptAGPL-3.0000

heutagogy-frontend

Language:JavaScriptAGPL-3.0000

heutagogy-website

Language:HTMLAGPL-3.0000

HeutagogyMobileApp

Language:JavaScriptAGPL-3.0000

hnix

A Haskell re-implementation of the Nix expression language

Language:NixBSD-3-Clause020

iron

Coq formalizations of functional languages.

Language:CoqNOASSERTION000

layout

My custom keyboard layout

Language:Shell000

nixpkgs

Nix Packages collection

Language:NixNOASSERTION000

normalises

Language:PureScript000

pamparam

Simple and fast flashcards for Emacs

Language:Emacs Lisp000

presentations

Language:Haskell000

project-m36

Project: M36 Relational Algebra Engine

Language:HaskellUnlicense000

purescript

A small strongly typed language that compiles to Javascript

Language:HaskellNOASSERTION000

scheme-haskell-48h

Language:HaskellBSD-3-Clause000

trypurescript

PureScript in the browser

Language:HaskellBSD-3-Clause000

ts-bc

Yet another JS to JS transpiler implemented in JS

Language:TypeScriptMIT020

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptApache-2.0000

typescript-eslint

:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

Language:TypeScriptNOASSERTION000