Compiles lisp style html into normal html
☆18Oct 4, 2023Updated 3 years ago
Alternatives and similar repositories for htmlisp
Users that are interested in htmlisp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Game Framework with support with many backends such as GLFW and SDL2 (Active development on dev branch)☆18Aug 20, 2026Updated 2 months ago
- A high-level functional programming language☆13Sep 21, 2026Updated last month
- ☆24Updated this week
- A webapp for tracking armor upgrades in The Legend of Zelda: Breath of the Wild.☆11Jan 4, 2023Updated 3 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 8 months 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.
- Elaboration of cumulative universe hierarchies☆13Oct 12, 2026Updated 2 weeks ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- ☆12Jan 2, 2023Updated 3 years ago
- Just a simple frontend Gleam framework☆12Sep 25, 2025Updated last year
- ☆16Apr 19, 2022Updated 4 years ago
- ☆13Jun 18, 2025Updated last year
- The Som functional programming language☆21Nov 15, 2023Updated 2 years ago
- ☆18Jul 24, 2026Updated 3 months ago
- Go library for accessing the Genius API☆11Jul 2, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A MUD server written in Gleam☆13Apr 17, 2024Updated 2 years ago
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- Algol 60 compiler for Electrologica X1, restored☆16Jul 27, 2025Updated last year
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- Linearizability Hoare Logic☆18Sep 16, 2026Updated last month
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last month
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 4 years ago
- optimizing compiler for an imperative stack based language☆17Sep 28, 2026Updated last month
- A friendly web framework oriented towards fast response times and a lightweight or serverless backend, written in Gleam!☆27Jul 16, 2025Updated last year
- 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.
- An experimental GUI framework with GTK4 component generation using HTML, CSS and JavaScript☆20Jun 14, 2023Updated 3 years ago
- Shorten UUID encoding for Laravel Hashid.☆13Feb 19, 2022Updated 4 years ago
- The client-side plugin element of UK VFPC. Originally forked from hpeter2/VFPC.☆10Oct 11, 2026Updated 2 weeks ago
- A tiny lazy objective functional language☆21Sep 12, 2024Updated 2 years ago
- a hot reloading library for rust☆13Jul 16, 2023Updated 3 years ago
- A collection of small games made using SDL and C/++.☆29Nov 5, 2025Updated 11 months ago
- A hexadecimal emitter language.☆17Nov 1, 2021Updated 4 years ago
- Violette is a simple functional programming language.☆25Oct 11, 2025Updated last year
- Cobol code revisualiser☆10Dec 27, 2017Updated 8 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.
- LilyPond Contemporary Notation Cookbook: Snippets and Their Grammars☆11Oct 14, 2026Updated 2 weeks ago
- ☆17Jan 17, 2024Updated 2 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated 3 weeks ago
- A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.☆16Sep 12, 2026Updated last month
- A functional, immutable, S-expression based configuration and scripting language, beating Lua (non-JIT) in benchmarks, with easy C integr…☆18Oct 21, 2026Updated last week
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months ago