si3nloong / raptor
Slim and fast like a raptor
☆9Updated 5 years ago
Alternatives and similar repositories for raptor
Users that are interested in raptor are comparing it to the libraries listed below
Sorting:
- Light-weight web framework for Go☆26Updated 2 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆28Updated 5 years ago
- Ergonomic async http framework for reliable and efficient web☆27Updated 3 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 6 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- Compiler for the Tiger programming language☆12Updated 6 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 4 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆14Updated 3 years ago
- Utilities building on top of Rust's async primitives.☆23Updated 5 years ago
- experimental middleware-based minimalism async HTTP server framework☆22Updated 4 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Updated 5 years ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Updated 3 years ago
- A rust web framework with safety and speed in mind.☆35Updated last year
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- A tiny embedded, lock free, redis-like, pub+sub, brokerless, key value datastore. ømq+sled☆34Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Strongly typed routes for Rust☆36Updated 3 years ago
- aitch is a simple, lightweight toolkit for building HTTP servers in Rust, loosely based on Go's net/http.☆18Updated 6 years ago
- rust database engineering toolkit☆33Updated 3 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 8 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Category Theory For Programmers (Bartosz Milewski)☆66Updated 3 years ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Updated 5 years ago
- A polymorphism object-oriented programming language☆24Updated 5 years ago