sharkdp / yinshLinks
A web-based version of the board game Yinsh
☆68Updated last year
Alternatives and similar repositories for yinsh
Users that are interested in yinsh are comparing it to the libraries listed below
Sorting:
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 8 months ago
- Tutorial / REPL for the lambda calculus☆67Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆93Updated 2 weeks ago
- ☆36Updated 5 months ago
- A terminal interface for Snake☆62Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- Functional teaching language for use in a discrete mathematics course☆174Updated this week
- Client side API for communicating with a mattermost server in Haskell☆24Updated this week
- Command Line Interface File Manager☆112Updated 5 years ago
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- A prettyprinting library designed for laying out plain text documents☆24Updated 2 months ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- Textbook on metalogic based on the Open Logic Project☆44Updated 4 months ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 7 years ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆30Updated last month
- ☆38Updated 2 years ago
- John Backus' Functional Programming Systems☆16Updated 9 years ago
- A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering☆60Updated 2 years ago
- functional spreadsheet programming☆23Updated 8 months ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- The LC3 virtual machine☆24Updated 11 months ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated last year
- Play 2048 from the command line /terminal !☆45Updated 7 years ago
- Я - extremely composable embeddable programming language☆93Updated last week
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 3 months ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆123Updated last month
- Maintenance of the pointfree Hackage package.☆145Updated last year
- An SVG backend for diagrams☆51Updated last month
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Chess engine entirely written in Haskell☆53Updated last month