tsoding / mazarusha
Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё
☆8Updated 5 years ago
Alternatives and similar repositories for mazarusha:
Users that are interested in mazarusha are comparing it to the libraries listed below
- Issue tracker assistant☆8Updated 5 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Updated last year
- Major emacs mode for editing Common Intermediate Language files.☆9Updated 8 years ago
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- Loprog is a stupid implementation of Prolog programming language.☆7Updated 8 years ago
- Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.☆44Updated 7 years ago
- Scripting language for Rushing B☆7Updated 5 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 7 years ago
- Brainfuck language transpiler to Emacs Lisp☆21Updated 4 years ago
- A proof of concept for running Frege on Android☆6Updated 8 years ago
- Common Lisp library for XMPP RFCs.☆12Updated last year
- .NET-based lisp for a more civilized age☆15Updated 3 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Parking location for releases for the fsharp-mode for emacs, including backend binaries☆8Updated 5 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 12 years ago
- ☆20Updated 3 years ago
- A tiled window manager written in D.☆24Updated 6 years ago
- Haskell library dealing with vkontakte social network☆12Updated 5 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typ…☆23Updated 2 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Proof theory seminar☆33Updated 4 years ago
- Компилятор Рефала-5λ☆85Updated last year
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- An Emacs mode for D code.☆84Updated 3 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Glyphs - Reducing Common Lisp verbosity☆29Updated 6 years ago
- Racket syntax for Haskell-style function composition☆8Updated last month
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago