resulknad / networks2tester
Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all your next_hops are correct).
☆8Updated 3 years ago
Alternatives and similar repositories for networks2tester:
Users that are interested in networks2tester are comparing it to the libraries listed below
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Updated 2 years ago
- ☆7Updated 2 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 2 years ago
- parse MiniLaTeX source text and render it into HTML☆55Updated 6 years ago
- Implementation of a CRDT algorithm for distributed trees☆23Updated 3 years ago
- The Phage Programming Language☆13Updated 4 years ago
- Automated reasoning for React/ReasonML☆113Updated 2 years ago
- Elm Set built on top of AnyDict☆10Updated 7 months ago
- A small implementation of higher-order unification☆188Updated 7 years ago
- Decentralized social application that respects your privacy☆30Updated 4 years ago
- CRDT distributed text editor written in elm using maca/crdt-distributed-tree☆19Updated 4 years ago
- Icepeak is a fast JSON document store with push notification support.☆130Updated 2 months ago
- A categorical programming language with effects☆275Updated 2 years ago
- A library for parsing and validating webauthn/fido2 credentials☆34Updated 6 months ago
- Erlang code generator for Idris 2☆141Updated last year
- CQL: Categorical Query Language implementation in Haskell☆169Updated last year
- Chat Server with Cloud Haskell☆12Updated 6 years ago
- Symbolic Differentiation with Elm☆15Updated 2 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Functional Graph Library in Elm.☆62Updated 9 months ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- The Elm architecture ported to Idris Programming language☆13Updated 6 years ago
- A Rust/WASM implementation of homotopy.io☆96Updated this week
- A reference library for constraint-solving with propagators and CDCL.☆305Updated 9 months ago
- Conflict-free replicated relational database that respects commonly used integrity constraints☆24Updated 2 years ago
- Haskell bindings for OpenCV☆22Updated 9 years ago
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆152Updated this week
- Refinement Types for Scripting Languages☆67Updated 6 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- GRIN backend for GHC☆144Updated 3 years ago