Alternatives and similar repositories for cecs-342-lab-prolog:

Users that are interested in cecs-342-lab-prolog are comparing it to the libraries listed below

• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆88Updated last year
• tekknolagi / db.py
  ☆22Updated 7 months ago
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated last year
• codr7 / eli
  Embedded Lisp Interpreter
  ☆51Updated last week
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated this week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• avik-das / garlic
  A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…
  ☆13Updated 2 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 10 years ago
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆16Updated 8 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 3 weeks ago
• nanochess / pi
  Pi number calculator using 8088 assembly language
  ☆64Updated 3 years ago
• kelas / ooj
  the origins of J
  ☆62Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆66Updated 2 years ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆45Updated 2 years ago
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 9 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 6 months ago
• davvid / gcd
  Git worktree navigator
  ☆28Updated last year
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated last month
• Dicklesworthstone / grassmann_article
  ☆51Updated 10 months ago
• Aperocky / cellular-automata
  ☆45Updated 2 years ago
• rguiscard / fossil-notebook-demo
  A note-keeping web app based on Fossil SCM
  ☆67Updated last year
• RetroNick2020 / raster-master-dos
  Raster Master & Utilities for Dos - A Sprite/Icon editor that generates code for Turbo Pascal/Turbo C and QuickBASIC/QuickC
  ☆25Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆98Updated last year
• rwmjones / miniexpect
  Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary
  ☆69Updated 2 years ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆107Updated last year