issa-tseng / janus
the two-faced application library-framework.
☆37Updated 2 years ago
Alternatives and similar repositories for janus:
Users that are interested in janus are comparing it to the libraries listed below
- Build UI declaratively with Datalog.☆133Updated 2 years ago
- ☆36Updated 3 years ago
- Another attempt to realize my programming language☆23Updated last month
- ECMAScript derived programming language☆68Updated 9 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- A UI library based on the incremental lambda calculus☆113Updated 6 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆88Updated 2 years ago
- Shen for JavaScript☆59Updated 7 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- Guide to ReasonML (OCaml syntax) and BuckleScript☆47Updated 7 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Full Stack ReasonML Tutorials☆229Updated 4 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- implementation of Elm's Mario demo in PureScript☆74Updated 7 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- An Elm-inspired language that transpiles to TypeScript☆382Updated last year
- ☆48Updated 8 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆30Updated 12 years ago
- A ReasonML/Ocaml library for category theory and abstract algebra☆214Updated 2 years ago
- Automated reasoning for React/ReasonML☆113Updated 2 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Canvas bindings for PureScript☆55Updated 10 months ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 8 months ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆59Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- easy setup from ocaml/reason native projects☆96Updated 7 years ago
- Javascript Generalized Parser Combinators☆147Updated 2 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago