The no-framework framework for building component-based purely-functional UIs.
☆123Jan 26, 2025Updated last year
Alternatives and similar repositories for vanilla-fp
Users that are interested in vanilla-fp are comparing it to the libraries listed below
Sorting:
- Experimental jsxdom☆95Oct 5, 2024Updated last year
- The Coil Programming Language☆33Mar 19, 2024Updated 2 years ago
- A small spreadsheet demo in Rust, Yew, and WASM☆11Jun 16, 2023Updated 2 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- ☆148Jan 31, 2023Updated 3 years ago
- ☆19Jun 13, 2025Updated 9 months ago
- ☆14Nov 4, 2025Updated 4 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- command-line argument parser for Janet☆34Jun 19, 2023Updated 2 years ago
- ☆17Apr 4, 2024Updated last year
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- Fully Open Public Licence☆18Jun 30, 2023Updated 2 years ago
- An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…☆520Mar 9, 2026Updated last week
- ☆11Nov 15, 2015Updated 10 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- HTML for Nix to rule them all.☆88Mar 6, 2024Updated 2 years ago
- A professional online resume with a single configuration file built on Hugo. Automatically creates a PDF version with GitHub Actions, Net…☆13Dec 31, 2023Updated 2 years ago
- An Excel spreadsheet to help you solve WORDLE puzzles☆13Dec 14, 2022Updated 3 years ago
- Persistent group chat in <50 lines using kdb+/k/q web sockets and JS☆192Dec 1, 2015Updated 10 years ago
- Building and managing AWs multi account architecture with Terraform workspaces.☆26Feb 14, 2025Updated last year
- 🔐🐘 PostgreSQL WebAuthn Server☆14Sep 30, 2025Updated 5 months ago
- Manifest manifold models with magical machinations.☆38Oct 26, 2025Updated 4 months ago
- ☆16Feb 18, 2025Updated last year
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated last year
- HTML for the Modern UI☆123Feb 7, 2026Updated last month
- ☆20Aug 22, 2018Updated 7 years ago
- Pomodoro timer built using TypeScript and XState☆11Jul 22, 2020Updated 5 years ago
- A fluid medium for storing, relating, and surfacing thoughts.☆136Apr 16, 2022Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Finally, a shell for all seasons!☆126Jan 2, 2025Updated last year
- various toys in j☆12Apr 13, 2022Updated 3 years ago
- Using this translation tool, you can run Vite server and write code in Ruby syntax using JS API.☆38Apr 8, 2025Updated 11 months ago
- Via Text Density Simple Web Crawler With Go☆13Mar 19, 2023Updated 3 years ago
- A functional, content-addressable programming language.☆454Aug 8, 2025Updated 7 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated last year
- being some thoughts about introductory mathematics for computer science☆17Aug 26, 2025Updated 6 months ago