A Big5/GBK <-> UTF-8 translating layer in terminal
☆24Jan 2, 2015Updated 11 years ago
Alternatives and similar repositories for bug5
Users that are interested in bug5 are comparing it to the libraries listed below
Sorting:
- A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies☆53Jan 10, 2023Updated 3 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Dec 30, 2016Updated 9 years ago
- Taiwanese Mandarin LLM Project☆19May 26, 2023Updated 2 years ago
- ☆11Oct 25, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆10Feb 8, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated last week
- Binaryen bindings for Racket☆11Oct 20, 2021Updated 4 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- OMR JIT glue code implementing a Ruby JIT☆11Dec 6, 2016Updated 9 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated 2 months ago
- ☆13Jan 7, 2026Updated last month
- ☆12Jun 7, 2024Updated last year
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Some Rubber Ducky Scripts☆12Jul 26, 2015Updated 10 years ago
- Ruby wrapper for the MusicBrainz XML Web Service Version 2☆29Dec 6, 2016Updated 9 years ago