tsoding / Issuestant
Issue tracker assistant
☆8Updated 5 years ago
Alternatives and similar repositories for Issuestant:
Users that are interested in Issuestant are comparing it to the libraries listed below
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆8Updated 5 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Updated last year
- Loprog is a stupid implementation of Prolog programming language.☆7Updated 8 years ago
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.☆44Updated 7 years ago
- Major emacs mode for editing Common Intermediate Language files.☆9Updated 8 years ago
- .NET-based lisp for a more civilized age☆15Updated 3 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Scripting language for Rushing B☆7Updated 5 years ago
- Highload cup F# solution☆12Updated 6 years ago
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Compression and decompression in the gzip and zlib formats☆37Updated 5 months ago
- SDL bindings package for idris☆46Updated 5 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 7 years ago
- Boids in Haskell☆9Updated 5 years ago
- A fork of asm.ow2.org for the Scala compiler☆8Updated 7 years ago
- F# + Dotnet Core + MonoGame + CoreRT starter project. Handles getting the config for the various bits right, while still leaving you with…☆7Updated 7 years ago
- ☆20Updated 3 years ago
- Parse and pretty-print Bash shell scripts☆35Updated 4 months ago
- Haskell clone of a certain game☆95Updated 11 years ago
- A .NET Bridge for Haskell☆25Updated 8 years ago
- ☆21Updated 8 years ago
- Using Arrows to model parallel processes/computations.☆18Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Haskell 98 comonads☆78Updated 2 months ago
- Markov chain text generator, as used for KingJamesProgramming (post-2024)☆8Updated 7 months ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Haskell Pretty-printer library☆73Updated 4 months ago
- The sharpest devops tool.☆12Updated 9 months ago