andyleap / giorengineLinks
Simple engine to process Generals.IO replay files
☆9Updated 8 years ago
Alternatives and similar repositories for giorengine
Users that are interested in giorengine are comparing it to the libraries listed below
Sorting:
- Python client for interacting with generals.io☆2Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Math-themed single-serving site☆46Updated 4 years ago
- ☆14Updated 6 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- Algorithm for locating anagrams and evaluating their quality☆13Updated 8 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- Run Futhark on your webcam!☆14Updated last year
- real time multiplayer quizbowl☆95Updated last year
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Polyglots☆82Updated 9 years ago
- twitter clone in haskell☆12Updated 9 years ago
- A system for building cloud scale menu systems.☆20Updated 7 years ago
- Lista de canales iptv m3u España México Chile Argentina Colombia Perú Latino Remota Deportes para Android, kodi, smart tv, pc, mac actual…☆9Updated 6 years ago
- Repeat yourself with some intelligence. This, if used correctly, can improve your productivity by 2x - 5x.☆14Updated 8 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆21Updated 7 years ago
- A system for competitive selection, primarily of emoji☆9Updated 6 years ago
- renaissance is a Scala program that allows people to control their computers by playing musical notes.☆27Updated 8 years ago
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- Port of asciimoo/drawille to haskell.☆27Updated last year
- Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).☆19Updated 6 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- a python constraint solver based on clasp☆32Updated 11 years ago
- Haskell API for controlling Phillips Hue lights☆15Updated 9 years ago
- A formalization of M-types in Agda☆33Updated 5 years ago
- A Drum Machine DSL for Haskell☆94Updated 6 years ago