A simple programming game.
☆13Mar 1, 2024Updated 2 years ago
Alternatives and similar repositories for DandyBot
Users that are interested in DandyBot are comparing it to the libraries listed below
Sorting:
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- Digital Teaching Assistant web app.☆21Feb 21, 2026Updated last week
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- Простейшая VGA-видеокарта на Atmega168-20.☆10Apr 4, 2020Updated 5 years ago
- Command Line Interface for WildCommander Plugin☆11Aug 1, 2013Updated 12 years ago
- ☆41Feb 20, 2022Updated 4 years ago
- Prototype implementation of an architecture suggested in Robot Dream paper (http://arxiv.org/abs/1603.03007)☆12Jul 3, 2019Updated 6 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- Browser based ZX Spectrum screen designer☆13Oct 1, 2021Updated 4 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Двухсторонний бридж между чатами Telegram и VK☆10Nov 23, 2022Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Simple physics library for rg3d engine.☆12Oct 29, 2020Updated 5 years ago
- A bootable Pac-Man clone that fits inside the Master Boot Record☆10Jun 15, 2019Updated 6 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- The sharpest infrastructure automation tool.☆18Updated this week
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Прототип моей версии игры про Диззи. Графика взята из официальных игр этой серии.☆12May 24, 2022Updated 3 years ago
- A curated list of awesome Common Expression Language (CEL) related resources. Inspired by awesome lists around the world 🕶️☆19Aug 3, 2023Updated 2 years ago
- ☆12Mar 9, 2025Updated 11 months ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 5 years ago
- A passwords store for the Cybiko Xtreme pocket pc☆11Feb 13, 2025Updated last year
- Samples to help learning ReactiveX, ReactiveUI, Avalonia UI☆12Dec 8, 2022Updated 3 years ago
- Generative json type provider☆11Apr 19, 2019Updated 6 years ago
- TS-Conf library☆13Jan 26, 2025Updated last year
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- React.SeamanticUI to Fable bindings☆15Sep 20, 2018Updated 7 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Jul 1, 2025Updated 8 months ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Mar 29, 2021Updated 4 years ago
- opensource tank platform☆14Nov 1, 2023Updated 2 years ago
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- A collection of unexpected stories involving emacs☆14May 25, 2022Updated 3 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆19Sep 5, 2021Updated 4 years ago