the two-faced application library-framework.
☆37Jan 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
Sorting:
- A reversible language☆22Sep 25, 2018Updated 7 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 4 years ago
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- A cycle driver for IndexedDB.☆13Apr 26, 2018Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 2 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated last week
- Algebraic Structures in OCaml Structs☆15Dec 15, 2022Updated 3 years ago
- A plugin for circuit notation☆12Aug 8, 2025Updated 7 months ago
- A d3-based library for visualizing SCXML with SVG.☆27Apr 23, 2015Updated 10 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- ☆21Nov 3, 2024Updated last year
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Simple modal text editor in Elm☆11May 21, 2015Updated 10 years ago
- A collection of tools and libs for C3 language☆14Feb 20, 2025Updated last year
- ☆11Oct 5, 2022Updated 3 years ago
- μKanren in Elm☆43Mar 6, 2017Updated 9 years ago
- Principled functional programming for JS☆17Dec 3, 2022Updated 3 years ago
- NixOS for Turris Omnia router☆13Mar 3, 2021Updated 5 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago
- uses persistent connecting via hdbc odbc☆18Jan 28, 2021Updated 5 years ago
- Demo of CSP as application architecture for client-side web☆12Sep 26, 2015Updated 10 years ago
- ☆20Nov 26, 2024Updated last year
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- Commands to push/fetch hidden remote refs☆11Nov 21, 2017Updated 8 years ago
- A tiny, dependency-free, highly customizable and configurable, easy to use file input with some pretty sweet features.☆19Mar 7, 2025Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆19Sep 15, 2022Updated 3 years ago
- An accessible image comparison web component☆13Sep 27, 2020Updated 5 years ago
- macOS script to turn your computer keyboard into a MIDI controller with an isomorphic layout☆10Feb 14, 2022Updated 4 years ago
- Custom elements for easily using KaTeX☆24Jan 6, 2023Updated 3 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago