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:
- ☆7Updated 2 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 2 years ago
- Fabricating and running orchestration graphs☆84Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Main repo for AMT, 2020 edition☆10Updated 4 years ago
- Elsa is a lambda calculus evaluator☆187Updated 2 months ago
- Erlang code generator for Idris 2☆141Updated last year
- An Explorable Explanation of linear algebra.☆27Updated 11 months ago
- Build your own non-linear interactive stories using the Elm Narrative Engine☆63Updated 2 years ago
- Camera type for doing 3D rendering in Elm☆12Updated last year
- Implementation of a CRDT algorithm for distributed trees☆23Updated 3 years ago
- Main repository for RES 2020 @ HEIG-VD☆12Updated 4 years ago
- Human vs computer chess game entirely in Elm☆44Updated 3 years ago
- Example how to upload images with elm 0.18 (taken from https://www.paramander.com/blog/using-ports-to-deal-with-files-in-elm-0-17)☆28Updated 6 years ago
- A pi calculus interpreter☆21Updated 7 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- WASM builds of the Z3 SMT solver☆145Updated 5 years ago
- CRDT distributed text editor written in elm using maca/crdt-distributed-tree☆19Updated 4 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 3 years ago
- Visual Programming Environment frontend for 'Lambda Bricks'☆23Updated 5 years ago
- Symbolic Differentiation with Elm☆15Updated 2 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- collaborative text editor, uses woot. front end in Elm, back in node.☆45Updated 9 years ago
- Work with bytes and implement network protocols☆83Updated 6 years ago
- A proof-of-concept terrain renderer using Elm WebGL☆37Updated 2 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 2 years ago
- Notes about research.☆8Updated 3 years ago
- Functional Graph Library in Elm.☆62Updated 11 months ago
- [OLD] Socket.io wrapper for Elm.☆47Updated 7 years ago
- ☆147Updated 5 years ago