sharkdp / yinshLinks
A web-based version of the board game Yinsh
☆74Updated 2 weeks ago
Alternatives and similar repositories for yinsh
Users that are interested in yinsh are comparing it to the libraries listed below
Sorting:
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago
- ☆37Updated 6 months ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 9 months ago
- A functional scripting language.☆17Updated 11 months ago
- ☆34Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Updated this week
- functional spreadsheet programming☆23Updated 9 months ago
- Flexible generation of identicons in Haskell☆16Updated 3 weeks ago
- A modern string diagram editor for the web.☆25Updated 8 months ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Tutorial / REPL for the lambda calculus☆67Updated last year
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- IDE support for the functional logic programming language Curry☆34Updated 2 months ago
- Re-implementation of a minimal interpreter for a subset of Haskell☆37Updated 3 months ago
- lojban parser☆23Updated 11 years ago
- ☆38Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated last year
- Reference counting with linear types☆31Updated last month
- Experimental wasm-based Nu playground☆26Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Play 2048 from the command line /terminal !☆45Updated 8 years ago
- Command line version of Wordle.☆59Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆94Updated 3 weeks ago
- Kempe is a compiled stack-based language☆58Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year