melissaboiko / joyodb
JoyoDB: The Jōyō Kanji table exported to machine-readable formats
☆27Updated 8 years ago
Alternatives and similar repositories for joyodb:
Users that are interested in joyodb are comparing it to the libraries listed below
- Sild is a lisp dialect☆43Updated 4 months ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Updated 9 years ago
- com2txt tool (from 1993)☆30Updated 7 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- An example of PEG usage☆55Updated 8 years ago
- GNU APL port to Android☆16Updated 10 years ago
- A modern tool for literate programming☆274Updated 8 years ago
- combined object/lambda architcture☆25Updated 15 years ago
- Libraries and tools for extracting Coq code to F#☆14Updated 11 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- ☆22Updated 13 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- Makefile Templates☆19Updated 8 years ago
- ☆17Updated 5 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- A DSL and command-line tool for generating binary files.☆37Updated 3 years ago
- Haskell implementation of the Lojban lujvo-making algorithm☆11Updated 4 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Generate a gophermap from lobste.rs recent stories☆15Updated 7 months ago
- tests☆10Updated 6 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Whatever prolog☆16Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆70Updated 9 years ago