propella/prolog external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

propella/prolog

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/propella/prolog)

Close

propella / prologView on GitHubMore

• External links
• Readme badge

a prolog

☆30Dec 30, 2010Updated 15 years ago

Alternatives and similar repositories for prolog

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

• clayrat / sequent-calc-talk

  View on GitHub
  Code for the "Logic, machines and sequent calculus" talk
  ☆31Sep 7, 2022Updated 3 years ago
• sinya8282 / RANS

  View on GitHub
  RANS: Library & Tools, Implementation of ANS on a regular language
  ☆32Feb 2, 2014Updated 12 years ago
• FransFaase / IParse

  View on GitHub
  IParse: an interpreting parser written in C++
  ☆15Dec 13, 2025Updated 3 months ago
• mmottl / cfg

  View on GitHub
  OCaml library for manipulating context-free grammars
  ☆20Nov 28, 2025Updated 3 months ago
• dxhj / predictive-parser

  View on GitHub
  A simple (naive) LL(1) parser written in Python.
  ☆10Jul 27, 2016Updated 9 years ago
• bollu / minitt

  View on GitHub
  bollu learns implementation of dependent typing
  ☆34Jan 29, 2023Updated 3 years ago
• luser-dr00g / debug.ps

  View on GitHub
  A portable source-level debugger for postscript programs.
  ☆20Aug 28, 2020Updated 5 years ago
• jgm / illuminate

  View on GitHub
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆28Sep 12, 2011Updated 14 years ago
• DanBurton / Blog

  View on GitHub
  It's a blog. Insert clever Haskell type signature here.
  ☆24Feb 22, 2017Updated 9 years ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• jbester / cljext

  View on GitHub
  Clojure Extended Library
  ☆22Nov 29, 2016Updated 9 years ago
• billwadge / pyLucid

  View on GitHub
  Book lucid interpreter written in python
  ☆25Jul 8, 2019Updated 6 years ago
• deepakjois / hs-logo

  View on GitHub
  Logo turtle graphics interpreter in Haskell
  ☆20Oct 20, 2014Updated 11 years ago
• jamesthompson / piserv

  View on GitHub
  Raspberry Pi HTTP Interface for GPIO Control
  ☆21Feb 7, 2017Updated 9 years ago
• stepcut / idrOS

  View on GitHub
  An OS written in Idris (eventually...)
  ☆20Mar 4, 2015Updated 11 years ago
• hamishmack / ghcjs

  View on GitHub
  Haskell to Javascript compiler (via GHC)
  ☆20Jan 27, 2020Updated 6 years ago
• konne88 / bagpipe

  View on GitHub
  BGP Policy Verification
  ☆26Aug 22, 2016Updated 9 years ago
• damelang / jitblt

  View on GitHub
  Pixman with JIT compilation using COLA
  ☆30Aug 15, 2008Updated 17 years ago
• icicle-lang / jetski-ambiata

  View on GitHub
  Runtime compilation and invocation of C.
  ☆10Mar 25, 2019Updated 6 years ago
• NightTsarina / nemu

  View on GitHub
  A lightweight network emulator embedded in a small python library
  ☆24Aug 10, 2021Updated 4 years ago
• feenkcom / gtoolkit-visualizer

  View on GitHub
  A set of visualization engines.
  ☆14Updated this week
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆29Oct 5, 2014Updated 11 years ago
• haskell-fswatch / hinotify

  View on GitHub
  Haskell binding to inotify
  ☆33Mar 24, 2025Updated 11 months ago
• okayzed / pixelsort.py

  View on GitHub
  pixelsort project
  ☆11Jan 15, 2016Updated 10 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated 2 months ago
• syoyo / tinyshrot

  View on GitHub
  TinySHRot, header-only C89 spherical harmonics rotation codes.
  ☆17Aug 12, 2018Updated 7 years ago
• cucapra / styleguide

  View on GitHub
  rules for writing and typesetting
  ☆25Oct 1, 2021Updated 4 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• torypeterschild / the-cartoonist

  View on GitHub
  A program that generates a cartoon and a caption using SVG paths and Markov chains
  ☆10Nov 28, 2016Updated 9 years ago
• pcwalton / webrast

  View on GitHub
  Experimental, high-performance GPU-accelerated rasterizer for common Web content
  ☆11Jul 16, 2015Updated 10 years ago
• cdglabs / object-finder

  View on GitHub
  A little experiment in unit test-based object discovery
  ☆20Oct 14, 2016Updated 9 years ago
• mame / favicon-quine

  View on GitHub
  A HTML page that prints its source code in its favicon
  ☆16Apr 12, 2018Updated 7 years ago
• thombashi / ghscard

  View on GitHub
  A JavaScript widget to generate interactive GitHub user/repository/organization cards for static web pages (like GitHub pages).
  ☆10Jul 20, 2023Updated 2 years ago
• stevedekorte / ioWasm

  View on GitHub
  Io ported to WebAssembly using emscripten
  ☆13Jul 24, 2023Updated 2 years ago
• hellerve / blog

  View on GitHub
  My personal blog
  ☆16Updated this week
• azazel75 / macropy

  View on GitHub
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Apr 3, 2020Updated 5 years ago
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago