Alternatives and similar repositories for nests-and-insects

Users that are interested in nests-and-insects are comparing it to the libraries listed below

• ptarau / binprolog

  View on GitHub
  Fast, simplified WAM-based Prolog system
  ☆25Oct 30, 2025Updated 3 months ago
• georgd / OpenMW-Fonts

  View on GitHub
  Fonts for OpenMW
  ☆16Jan 30, 2014Updated 12 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• rehhouari / wad-editor

  View on GitHub
  Create, modify, and export Half-Life/GoldSrc WAD3 files in your browser.
  ☆11Oct 23, 2025Updated 3 months ago
• Dialog-IF / dialog

  View on GitHub
  The community-maintained fork of the Dialog programming language for interactive fiction.
  ☆25Updated this week
• vocdoni / davinci-node

  View on GitHub
  ☆13Updated this week
• karynax / ironseed

  View on GitHub
  ☆18Mar 25, 2013Updated 12 years ago
• logicmoo / pfc

  View on GitHub
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆12Sep 6, 2022Updated 3 years ago
• triska / trs

  View on GitHub
  Reason about Term Rewriting Systems
  ☆18Jul 24, 2022Updated 3 years ago
• mharrys / arcball

  View on GitHub
  Arcball Rotation Control
  ☆17Aug 15, 2015Updated 10 years ago
• noway / yagrad

  View on GitHub
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Mar 20, 2024Updated last year
• aardappel / restructor

  View on GitHub
  Restructor Prototype
  ☆22Jun 10, 2017Updated 8 years ago
• classilla / 6o6

  View on GitHub
  Why can't the 6502 virtualize itself? Good question.
  ☆21May 15, 2024Updated last year
• aprolog-lang / aprolog

  View on GitHub
  αProlog
  ☆18Jul 9, 2023Updated 2 years ago
• richardtrip / cm-kernel

  View on GitHub
  ☆18Jul 31, 2011Updated 14 years ago
• autarch / metagodoc

  View on GitHub
  An alternative to godoc.org
  ☆22Apr 15, 2018Updated 7 years ago
• white-flame / clyc

  View on GitHub
  Port of Cyc to Common Lisp
  ☆23Sep 1, 2020Updated 5 years ago
• skx / cpm-dist

  View on GitHub
  A curated collection of CP/M software
  ☆32May 5, 2025Updated 9 months ago
• mingodad / picat

  View on GitHub
  My unofficial picat http://picat-lang.org/ repository
  ☆31Jan 11, 2024Updated 2 years ago
• privacycg / template

  View on GitHub
  Template repository for a CG proposal or work item.
  ☆16Aug 30, 2024Updated last year
• avigad / polya

  View on GitHub
  A heuristic procedure for proving inequalities
  ☆34Sep 4, 2018Updated 7 years ago
• xlab / structwalk

  View on GitHub
  Battle-tested Go struct and map traversal utilities.
  ☆33Jan 17, 2020Updated 6 years ago
• svanderburg / nix-androidenvtests

  View on GitHub
  Nix Android build tests
  ☆35Mar 22, 2020Updated 5 years ago
• ggeorgovassilis / superstartrek

  View on GitHub
  The 70s Super Star Trek command line game revived as an HTML 5 app
  ☆35Jul 14, 2025Updated 7 months ago
• doppioslash / CastleOfElm

  View on GitHub
  Roguelike for 7DRL make in Elm
  ☆30Jan 25, 2016Updated 10 years ago
• schollz / tape-synth

  View on GitHub
  Instructions to create a cassette synthesizer.
  ☆33May 28, 2023Updated 2 years ago
• maths / PRESS

  View on GitHub
  PRolog Equation Solving System
  ☆29Sep 2, 2016Updated 9 years ago
• trealla-prolog / go

  View on GitHub
  Trealla Prolog embedded in Go using WASM
  ☆81Dec 24, 2025Updated last month
• ridiculousfish / shelob

  View on GitHub
  Angband on the web
  ☆32Aug 24, 2021Updated 4 years ago
• Anniepoo / weblog

  View on GitHub
  Web Framework for SWI-Prolog
  ☆43Dec 23, 2015Updated 10 years ago
• segrax / DrCreep

  View on GitHub
  The Castles of Dr. Creep
  ☆32Mar 18, 2022Updated 3 years ago
• arcadio / data-logic

  View on GitHub
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆23Updated this week
• Lagrange-Labs / lgn-coprocessor

  View on GitHub
  Hyper-parallel ZK coprocessing.
  ☆17Aug 29, 2025Updated 5 months ago
• SWI-Prolog / sCASP

  View on GitHub
  Top-down interpreter for ASP programs with Constraints
  ☆34Jun 30, 2025Updated 7 months ago
• TheAllenChou / unity-project-prefs

  View on GitHub
  Per-project preference utility for Unity tools development.
  ☆38Nov 22, 2021Updated 4 years ago
• cespare / goclj

  View on GitHub
  Clojure parsing in Go
  ☆38Oct 13, 2023Updated 2 years ago
• npe9 / aop

  View on GitHub
  Art of Prolog Code
  ☆37Aug 28, 2019Updated 6 years ago
• NON-OS / nonos-kernel

  View on GitHub
  A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…
  ☆37Updated this week
• dvf / synapse

  View on GitHub
  Rapid RPC framework for building Python services fast
  ☆14May 25, 2019Updated 6 years ago