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
Related projects ⓘ
Alternatives and complementary repositories for networks2tester
- ☆14Updated 3 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- CRDT distributed text editor written in elm using maca/crdt-distributed-tree☆19Updated 3 years ago
- A high-level 3D rendering engine for Elm, with support for lighting, shadows, and realistic materials.☆205Updated 7 months ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆31Updated 4 years ago
- ☆223Updated 3 months ago
- A simple-as-possible 2D physics rigid-body physics engine for Elm.☆36Updated 7 years ago
- Visual Studio Code extension for Coq☆346Updated this week
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- A prototypical implementation of the elm language (https://elm-lang.org/) in JetBrains MPS (https://www.jetbrains.com/mps/), sporting a p…☆22Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆204Updated last month
- parse MiniLaTeX source text and render it into HTML☆55Updated 6 years ago
- Automated reasoning for React/ReasonML☆112Updated last year
- A small implementation of higher-order unification☆182Updated 7 years ago
- Compiler for the M language, used to compute the income tax of French taxpayers☆177Updated this week
- An extension for VS Code which provides support for the OCaml language.☆170Updated 3 years ago
- A reasonably type-safe interface to creating Semantic UI based applications☆42Updated 3 years ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- being an operating system for typechecking processes☆121Updated last year
- Elsa is a lambda calculus evaluator☆181Updated 5 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆98Updated 2 years ago
- Some CRDT implementations in Datalog☆14Updated 6 years ago
- ☆15Updated 8 years ago
- WASM builds of the Z3 SMT solver☆141Updated 4 years ago
- ☆27Updated 8 years ago
- Globular☆37Updated 6 years ago
- A raycasting hack in Elm☆142Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆369Updated last year