mankyKitty / rust-koans
Learn Rust by making tests pass
☆11Updated 10 years ago
Alternatives and similar repositories for rust-koans
Users that are interested in rust-koans are comparing it to the libraries listed below
Sorting:
- A clojure library for BigPanda Alerts and Deployments☆11Updated 8 years ago
- Using parsec☆9Updated 5 years ago
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆12Updated this week
- Frege Interpreter☆15Updated 4 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- MongoDB driver for Haskell☆24Updated 3 years ago
- retrieve github data through haskell functions☆20Updated 13 years ago
- ☆16Updated 5 years ago
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- SICP in haskell, both exercises and sample codes.☆11Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Try it! https://comby.live☆10Updated 2 years ago
- Documentation for piston's projects.☆8Updated 4 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- ☆21Updated 7 years ago
- A Lisp in Crystal☆8Updated 9 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29Updated 9 years ago
- Operations for sequentially ordered types☆11Updated 2 years ago
- Racket bindings for the Slack API☆10Updated 6 years ago
- The Doodle case study supplement to Essential Scala☆16Updated 7 years ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- A version of the twitter-feed service for use with Oracle Cloud Infrastructure Container Engine for Kubernetes☆14Updated 2 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Updated 5 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- a template for starting a rust-wasm project to be used with wasm-pack☆14Updated 5 years ago
- Scala 2's PR&CI automation bot☆14Updated 4 months ago