Molecular computers with interaction combinators like graph rewrite systems
☆17Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for molecular
Users that are interested in molecular are comparing it to the libraries listed below
Sorting:
- ☆10May 22, 2023Updated 2 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- Custom stow implementation in Rust☆17Feb 5, 2022Updated 4 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 8 years ago
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- A special-purpose processor for pure, non-strict functional languages☆31Feb 17, 2026Updated last week
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- A CLI tool to for crypto functions☆13Updated this week
- antifunext☆38Jun 27, 2024Updated last year
- Applications and utilities for model developers to use in conjunction with the OTM-DE.☆10Apr 1, 2024Updated last year
- Incomplete implementation of Desmos Graphing Calculator☆17Updated this week
- ☆10Feb 15, 2026Updated last week
- a simple reference software renderer to be used for debugging shaders☆11Apr 4, 2025Updated 10 months ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 14 years ago
- Creating large realisations of random fields on the sphere☆10Mar 11, 2021Updated 4 years ago
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 3 months ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated 2 years ago
- Web components framework for Deno☆12Sep 3, 2021Updated 4 years ago
- a close enough approximation of the shadertoy framework☆12Jul 2, 2020Updated 5 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Repository for the bevy jam #1 You can try the game here: https://therealteamfresh.github.io/Bevy-Jam-1/☆12Mar 23, 2022Updated 3 years ago
- The Cross-Platform Toolkit☆19Mar 7, 2016Updated 9 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- simple, fast and efficient s3 client for bucket operations☆15Nov 27, 2025Updated 3 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Ideas for the decipherment of Easter Island's rongorongo writing☆11Sep 4, 2023Updated 2 years ago
- Simulation code and detailed exposition of the free energy princple (FEP).☆11Jun 27, 2022Updated 3 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- Simple text reader for the OSIS format.☆11Nov 20, 2014Updated 11 years ago
- A Scripting System for Legion ECS.☆10Dec 17, 2020Updated 5 years ago
- [SwiftUI] Pog can track your location regardless of application state (foreground/background/not-running)☆10Jan 20, 2024Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- ☆12Dec 27, 2019Updated 6 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago