Alternatives and similar repositories for glowfic:

Users that are interested in glowfic are comparing it to the libraries listed below

• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 8 years ago
• corcra / esperanto
  Esperanto... things.
  ☆14Updated 4 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• adelelopez / predict
  Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.
  ☆11Updated 8 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆50Updated 5 months ago
• trishume / numderline
  Font patcher to using shaping tricks to make it easier to pick out digit groups in numbers without commas
  ☆120Updated last year
• Shavian-info / readlex
  The Read Lexicon: a spelling dictionary for the Shavian alphabet following the rhotic Received Pronunciation standard.
  ☆39Updated 2 months ago
• fylke / tone-sorter
  Script for sorting a csv-file with Chinese phrases according to tone
  ☆19Updated 11 years ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 7 years ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆78Updated 3 years ago
• cryslith / kataomoi
  Cryptographic matchmaking webapp
  ☆12Updated 5 years ago
• patoline / patoline
  Patoline typesetting system
  ☆191Updated 2 years ago
• clarus / falso
  A proof of false in Coq.
  ☆96Updated 5 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆21Updated 3 years ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆69Updated last year
• matthewdeanmartin / tokipona.parser
  A Toki Pona Parser
  ☆42Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 4 years ago
• davidar / linja-pona
  Font for sitelen pona - version 4
  ☆36Updated 5 years ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 3 months ago
• lojban / jbovlaste
  ☆32Updated 2 months ago
• mbutterick / hyphenate
  Racket implementation of Knuth–Liang hyphenation algorithm
  ☆52Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆89Updated 3 years ago
• chrisamaphone / ceptre-tutorial
  Tutorial materials for Ceptre.
  ☆14Updated 8 years ago
• mysteryhunt / puzzle-editing
  Software for editing/testing puzzles for the MIT Mystery Hunt
  ☆27Updated 7 years ago
• holtzermann17 / toki-pona-emoji
  a proposed translation of toki pona lexicon into github emoji
  ☆24Updated 5 years ago