Paul-Andre / Wew-LispView external linksLinks
Lisp interpreter in assembly
☆20Feb 16, 2018Updated 7 years ago
Alternatives and similar repositories for Wew-Lisp
Users that are interested in Wew-Lisp are comparing it to the libraries listed below
Sorting:
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- ☆11Apr 10, 2024Updated last year
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 4, 2026Updated last week
- Wayland protocol dumper☆24Aug 4, 2022Updated 3 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 8 years ago
- A modern functional programming language with effect system.☆19Apr 21, 2024Updated last year
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Mini-Scheme Interpreter with Copying GC☆25Jan 30, 2020Updated 6 years ago
- Read and write binary records for Common Lisp☆41May 8, 2024Updated last year
- Rust bindings for HACL & Evercrypt☆30Apr 24, 2025Updated 9 months ago
- Implementations of the Knight programming language☆22Jun 20, 2021Updated 4 years ago
- A functional fluent API generator☆35Dec 30, 2022Updated 3 years ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last week
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆46Jan 25, 2026Updated 2 weeks ago
- ☆23Sep 22, 2021Updated 4 years ago
- ☆18Jun 6, 2025Updated 8 months ago
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- Flexible GPU accelerated 2D renderer experiment powered by wgpu, rust.☆10Jul 6, 2023Updated 2 years ago
- ☆12May 9, 2015Updated 10 years ago
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- For hosting ATS3 and developing CodeDepot☆16Feb 6, 2026Updated last week
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 7 years ago
- A demo of using ZLS as a library!☆12Aug 22, 2023Updated 2 years ago
- A lightweight header-only C++ wrapper around OpenSSL☆10May 27, 2018Updated 7 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- audio2midi is an audio to MIDI conversion library for Android devices (main author: Max Kastanas)☆19Jun 13, 2013Updated 12 years ago