Slitherio-Org / Slither.io-ModsLinks
You can team up with friends and meet them in the server because you can easily see them on the map.
☆17Updated 8 years ago
Alternatives and similar repositories for Slither.io-Mods
Users that are interested in Slither.io-Mods are comparing it to the libraries listed below
Sorting:
- Haskell API for controlling Phillips Hue lights☆15Updated 9 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- Symbolic logic expressions☆15Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Updated 9 years ago
- Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, …☆51Updated last year
- a prolog☆30Updated 15 years ago
- Derive editors for data types.☆28Updated 11 years ago
- Pixel art for games☆139Updated 11 years ago
- Proof and Code Presentation Framework☆23Updated 6 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- An alternative interface to Opaleye, built around type families☆13Updated 9 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- An attempt to formalize unix cat in fiat☆11Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 8 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆12Updated 10 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 8 years ago
- Bézier curves in Haskell☆28Updated 4 months ago
- ☆23Updated 14 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- 3D port of Conway's Game Of Life (in Javascript)☆34Updated 14 years ago
- Get a certificate using Let's Encrypt ACME protocol☆13Updated 8 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Updated 10 years ago
- ☆33Updated 10 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- Type-level assertion operators☆16Updated 7 years ago
- This is a package to interact with the Deutsche Bahn timetables api☆27Updated 9 months ago
- efficient and practical cryptohashing in haskell. DEPRECATED in favor of cryptonite☆30Updated 8 years ago
- Haskell 2010 stream comonads☆24Updated last year
- Serialization/deserialization using Python Pickle format☆17Updated 2 years ago
- ☆17Updated 3 years ago