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
Sorting:
- Unicode text OT implementation☆74Updated 3 years ago
- Implementation of a CRDT algorithm for distributed trees☆23Updated 3 years ago
- CRDT distributed text editor written in elm using maca/crdt-distributed-tree☆19Updated 4 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆174Updated 9 months ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- A reference library for constraint-solving with propagators and CDCL.☆306Updated 10 months ago
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆154Updated this week
- Lemur: visual functional programming language that compiles to Python☆70Updated 7 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- A new Categories library for Agda☆380Updated this week
- Programming language agnostic type construction language based on polynomials.☆368Updated 11 months ago
- a datalog interpreter in typescript☆210Updated 4 months ago
- React Fiber Demo☆20Updated 7 years ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- Elm Set built on top of AnyDict☆10Updated 9 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Camera type for doing 3D rendering in Elm☆12Updated last year
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Simple, safe and convenient unit types and conversions for Elm☆85Updated last year
- Build your own non-linear interactive stories using the Elm Narrative Engine☆63Updated 2 years ago
- A webapp for developing and sharing Alloy models☆23Updated 11 months ago
- A library for generating Typescript types that can be used transparently from Purescript.☆69Updated 5 years ago
- Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! 🌳☆37Updated 2 years ago
- ☆67Updated 10 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆399Updated 2 years ago
- parse MiniLaTeX source text and render it into HTML☆55Updated 6 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Fast Aho-Corasick string searching☆187Updated 3 months ago