resulknad / networks2testerLinks
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:
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Updated 3 years ago
- ☆7Updated 3 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- ECMAScript verification with SMT solvers☆124Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- A CSS specification and reasoning engine☆95Updated 2 years ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- The Ott tool for writing definitions of programming languages and calculi☆376Updated 5 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 2 months ago
- This is a catalogue of all past and present NUS DYOMS☆9Updated 4 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- A small implementation of higher-order unification☆188Updated 7 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Automated reasoning for React/ReasonML☆114Updated 2 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 9 months ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆175Updated 10 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆90Updated 3 weeks ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- Globular☆39Updated 6 years ago
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆25Updated 5 years ago
- Haskell implementation of Magic: The Gathering☆111Updated 4 years ago
- implementation of Elm's Mario demo in PureScript☆74Updated 7 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- parse MiniLaTeX source text and render it into HTML☆55Updated 7 years ago