tsoding / mazarusha
Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё
☆8Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for mazarusha
- Issue tracker assistant☆8Updated 5 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Updated 9 months ago
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.☆43Updated 7 years ago
- Loprog is a stupid implementation of Prolog programming language.☆7Updated 8 years ago
- Major emacs mode for editing Common Intermediate Language files.☆9Updated 8 years ago
- Brainfuck language transpiler to Emacs Lisp☆20Updated 3 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 6 years ago
- A musical puzzle game☆18Updated 7 years ago
- A proof of concept for running Frege on Android☆6Updated 7 years ago
- .NET-based lisp for a more civilized age☆15Updated 2 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- ☆20Updated 2 years ago
- Haskell bindings to GLUT☆61Updated 4 months ago
- Компилятор Рефала-5λ☆79Updated last year
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Neural Network in Haskell☆7Updated 5 years ago
- Small OpenGL Shaders example using FreePascal Compiler☆10Updated 3 years ago
- Curses bindings package for Idris☆13Updated 5 years ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 11 years ago
- Proof theory seminar☆31Updated 3 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated last month
- SDL bindings package for idris☆46Updated 4 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- Setting up an Idris dev environment on Windows☆16Updated 4 years ago
- Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …☆40Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago