Alternatives and similar repositories for glowfic:

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

• DRMacIver / each
  A small batch processing utlity
  ☆12Updated 3 years ago
• adelelopez / predict
  Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.
  ☆11Updated 8 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• clarus / falso
  A proof of false in Coq.
  ☆93Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆24Updated last year
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated last month
• queeriouslabs / LoveDaresNot
  An implementation of a protocol for Cory Doctorow's LoveDaresNot
  ☆14Updated 4 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
• lojban / cll
  Complete Lojban Language Chunked
  ☆181Updated 4 months ago
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• ccz181078 / Coq-BB5
  ☆186Updated last week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆91Updated this week
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆91Updated 13 years ago
• pirindiel / llull
  A program with no practical utility
  ☆24Updated 8 years ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆36Updated 9 months ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆21Updated last year
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆59Updated 2 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆58Updated 3 months ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 4 years ago