A tiny wiki engine. (Fossil Export)
☆13Jul 29, 2023Updated 2 years ago
Alternatives and similar repositories for weewiki
Users that are interested in weewiki are comparing it to the libraries listed below
Sorting:
- A fast and portable tangler for (a limited subset of) org with noweb support. Written in ANSI C.☆23Dec 3, 2025Updated 3 months ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A simple big integer library for janet☆21Jul 31, 2024Updated last year
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆46Apr 6, 2024Updated last year
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- Compiler and tooling for the Myte programming language.☆28Mar 6, 2023Updated 3 years ago
- Interactive Janet mode☆26Apr 30, 2022Updated 3 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 4 years ago
- 9front visual programming☆34Dec 6, 2022Updated 3 years ago
- Minimalist view layer for the web https://syarul.github.io/keet☆11Jan 4, 2023Updated 3 years ago
- ☆10Nov 22, 2020Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Feb 24, 2022Updated 4 years ago
- HTTP server library for janet☆95Sep 16, 2021Updated 4 years ago
- GitHub mirror of the ISSUE-id plugin for Redmine.☆10Dec 5, 2021Updated 4 years ago
- A verified compiler for a lazy functional language☆39Feb 27, 2026Updated last week
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- The Simple OS - based on the Forth programming language☆16Feb 3, 2026Updated last month
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- An open-source redundant distributed storage network☆17Oct 3, 2014Updated 11 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Xbox Adaptive Controller Joystick Splitter☆12Nov 30, 2018Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆103May 28, 2013Updated 12 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- An extension for Visual Studio that when enabled, darkens the colors of the code except for the block that is being currently worked on.☆10Nov 15, 2020Updated 5 years ago
- Index and Search Your Private PDF Collection☆18Jan 16, 2016Updated 10 years ago
- A set of protocols for remote connection, for two people to connect while apart.☆10Sep 20, 2022Updated 3 years ago
- ☆11Oct 24, 2018Updated 7 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- IQueryable implementation for Elasticsearch☆11Jul 17, 2023Updated 2 years ago