Beast code in Giters

Андреев Кирилл's repositories

LR

LR(1) parser (and generator)

Language:Haskell8 3 1

descent

An analog for `multiplate`

Language:HaskellUnlicense3 20

unification-xd

Attempt to refresh and understand unification-fd

Language:Haskell3 10

december

Core language

Language:Haskell200

DNL

Definitely Not Lisp

Language:Agda2 10

f-omega

A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.

Language:Haskell2 20

components

Haskelly way to S, maybe O and D in SOLID

Language:HaskellBSD-3-Clause1 30

dndlist

DnD char list, elm experiments

Language:Elm1 10

dual-effects

Yet another experiment on effect systems

Language:Haskell1 20

move-it-dammit

Minecraft mod, analog of Red Power 2

Language:JavaCC0-1.01 20

raycast

Language:Haskell1 20

bnfc

BNF Converter

Language:TeX000

Chisel

020

cubical-mini

Language:AgdaNOASSERTION000

cursed-sands

Liquid simulator

Language:Haskell020

december-agda

Language:Agda000

dt

Deptypes

Language:Haskell020

elm-optics

A faithful for of `lens` to Elm

Language:ElmBSD-3-Clause000

elm-parser

A parsing combinator library for Elm language

Language:Elm020

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:Rust010

inference

An example of type inference system

Language:Haskell020

kern

Language:F#000

kern-hs

Language:Haskell000

light-maze

Minecraft mod about optics

Language:Java020

LR-sharp

LR table parser implementation in F#

Language:F#020

monoidal-map

Data.Map wrapper with Monoid/Semigroup instance that honors values

Language:Haskell000

mptc

Implementation of typeclass resolution

Language:Haskell000

r1u

Rank-1 unification, replica of https://hackage.haskell.org/package/unification-fd

Language:Haskell020

tea-combine

Combinator library for building "The Elm Arcitecture"-powered applications with ease

Language:ElmMIT000

yard

Very simple parser combinator library

Language:Haskell000