the two-faced application library-framework.
☆38Jan 7, 2023Updated 3 years ago
Alternatives and similar repositories for janus
Users that are interested in janus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reversible language☆22Sep 25, 2018Updated 8 years ago
- Getting Started with CheriBSD☆15Jul 24, 2026Updated 2 months ago
- Simple distributed blockchain experiment written in Crystal☆20Jan 15, 2019Updated 7 years ago
- A Virtual Machine Research Overview as a Graph☆25Dec 21, 2025Updated 9 months ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆26Feb 13, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- A sample project for How I Start.☆17Sep 9, 2014Updated 12 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- WIP! Submit data to a JSON file via a form using the GitHub API☆16Dec 23, 2016Updated 9 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 3 years ago
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- purple: compiling a reflective language☆33Feb 27, 2026Updated 7 months ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Aug 17, 2026Updated last month
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆18Sep 29, 2026Updated last week
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 3 years ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 5 years ago
- A Fun Frontend Language☆16Apr 27, 2023Updated 3 years ago
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 years ago
- 🩺 Effortless property-based, type-based testing for Nim.☆12Jul 26, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Sep 5, 2022Updated 4 years ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆35Sep 25, 2026Updated 2 weeks ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Native JavaScript prototype extension with symbol protocols☆16Updated this week
- A collection of tools and libs for C3 language☆14Sep 8, 2026Updated last month
- Special mathematical functions in Nim☆11Jul 18, 2026Updated 2 months ago
- upcoming concurrent library for Nim☆11Apr 25, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- the global haskell instance repository☆16Feb 5, 2019Updated 7 years ago
- NixOS for Turris Omnia router☆13Mar 3, 2021Updated 5 years ago
- μKanren in Elm☆43Mar 6, 2017Updated 9 years ago
- ☆18Jun 6, 2024Updated 2 years ago
- IKEA Home Smart library for Nim☆12Jun 8, 2022Updated 4 years ago
- A lightweight performant JavaScript parser for Rust and WebAssembly☆22Nov 8, 2024Updated last year