featurecat / Influencie

Related projects ⓘ

Alternatives and complementary repositories for Influencie

• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• featurecat / go-dataset
  21.1 million Go games, 18k-9p
  ☆119Updated 5 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 weeks ago
• stassa / metasplain
  Explainable machine learning
  ☆18Updated 5 years ago
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• racket / parser-tools
  ☆11Updated 2 weeks ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• sanderland / tsumego
  Ten Thousand Tsumego App
  ☆30Updated last month
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 5 years ago
• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated last year
• ugoertz / kombilo
  Kombilo - a go database program
  ☆30Updated last year
• rfindler / lindenmayer
  ☆24Updated last year
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated last year
• julianandrews / sgf-render
  Sgf Rendering CLI written in Rust
  ☆34Updated 2 weeks ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 11 months ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated 2 weeks ago
• eagleflo / goban
  A go board made with Python and pygame.
  ☆23Updated 5 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 7 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 4 years ago
• tasuki / tsumego
  it sorta works in 2018
  ☆19Updated 3 years ago
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆21Updated last year
• Orego / Orego
  Source code for Dr. Peter Drake's computer Go engine.
  ☆34Updated 9 years ago
• JBX2010 / KataGo_Colab
  Run a KataGo bot on OGS with Colab
  ☆24Updated 2 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated 2 years ago