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:
- 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
- Pixel art for games☆139Updated 11 years ago
- Haskell API for controlling Phillips Hue lights☆15Updated 9 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- Proof and Code Presentation Framework☆23Updated 6 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- ☆33Updated 10 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Derive editors for data types.☆28Updated 11 years ago
- Simple lambda prover☆24Updated 10 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 13 years ago
- Securely store hashed, salted passwords☆19Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 5 years ago
- a prolog☆29Updated 14 years ago
- Symbolic logic expressions☆15Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- A small bifunctor library for idris☆21Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- Experimental C++11 backend for Idris☆14Updated 11 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Domain theory and denotational semantics in Coq☆10Updated 11 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- A turntable.fm clone built on SoundCloud☆24Updated 12 years ago