labcoders / crystalball-knife-bombLinks
Emoji functional programming language with a web IDE
☆15Updated 10 years ago
Alternatives and similar repositories for crystalball-knife-bomb
Users that are interested in crystalball-knife-bomb are comparing it to the libraries listed below
Sorting:
- twitter clone in haskell☆12Updated 9 years ago
- renaissance is a Scala program that allows people to control their computers by playing musical notes.☆27Updated 8 years ago
- Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.☆19Updated 10 years ago
- Matlab bindings and interface for Haskell☆13Updated 5 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- ☆11Updated 10 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- Generic and customizable thesis and dissertation LaTeX template☆46Updated 10 years ago
- Repeat yourself with some intelligence. This, if used correctly, can improve your productivity by 2x - 5x.☆14Updated 9 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Enable Markdown on Facebook comments and posts.☆21Updated 10 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- World's dumbest fuzzer☆52Updated last year
- Gameboy Color game written in C using the GBDK.☆14Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Ring solver for Idris☆20Updated 6 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- The fastest and easiest notepad ever.☆14Updated 10 years ago
- ☆49Updated 8 years ago
- Regular expression matching in Idris☆11Updated 9 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- An interactive version of a classic puzzle☆83Updated 8 years ago
- Haskell-driven, small-scale web analytics with minimal configuration.☆28Updated 9 years ago
- The Quantum IO Monad, implemented in Haskell☆104Updated last year
- Automate your Facebook Message Groups☆52Updated 10 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Updated 8 years ago
- A clone of Chips Challenge in Haskell☆144Updated 10 years ago
- Some benchmarks for Idris☆12Updated 8 years ago