Alternatives and similar repositories for porpoise

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

• shriram / mystery-languages

  View on GitHub
  Mystery Languages
  ☆41Sep 6, 2023Updated 2 years ago
• balejin / QEMU-KVM-Setup-Guide

  View on GitHub
  A detailed guide to setting up a QEMU/KVM for gaming.
  ☆13Nov 24, 2023Updated 2 years ago
• tum-i6 / VTPRL

  View on GitHub
  Virtual Training Platform for Robot Learning
  ☆10Jan 15, 2026Updated last month
• serokell / style

  View on GitHub
  Collection of programming style guides used in Serokell
  ☆12Jul 4, 2022Updated 3 years ago
• moonli-lang / moonli

  View on GitHub
  Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp
  ☆19Jan 17, 2026Updated last month
• careweather / oneil

  View on GitHub
  Design specification language for rapid, comprehensive system modeling.
  ☆19Updated this week
• ashima / webgl-engine

  View on GitHub
  Ashima's Layered WebGL API wrapper and helper functions
  ☆19Mar 8, 2013Updated 12 years ago
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 6 years ago
• codebox / regex_parser

  View on GitHub
  A regular expression parser written in JavaScript
  ☆10Feb 24, 2021Updated 4 years ago
• komachi / ansible-decent-desktop

  View on GitHub
  Ansible playbook to provide decent desktop experience
  ☆14Mar 29, 2025Updated 10 months ago
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Apr 16, 2025Updated 10 months ago
• dimashenme / trivium

  View on GitHub
  An English translation of a problem course ("Trivium") in undergraduate maths
  ☆10Jan 25, 2023Updated 3 years ago
• shriram / plai-public

  View on GitHub
  Repository for (for now) filing bug reports about PLAI.
  ☆14Jul 5, 2025Updated 7 months ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated last month
• snoglobe / language_garden

  View on GitHub
  ☆10Aug 20, 2024Updated last year
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• siefca / i18n-inflector

  View on GitHub
  Enhances simple I18n backend so that it inflects translations using pattern interpolation
  ☆32Jun 17, 2022Updated 3 years ago
• BrownCS1951x / fpv2023

  View on GitHub
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆12Jan 31, 2024Updated 2 years ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• DimaTrushin / LinearAlgebra2019-2020

  View on GitHub
  Linear Algebra Course having been taught in HSE in 2019/2020 (in russian)
  ☆12May 22, 2020Updated 5 years ago
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• ronylee11 / suckless

  View on GitHub
  My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools
  ☆12Feb 4, 2023Updated 3 years ago
• codehag / pattern-matching-epic

  View on GitHub
  an alternative approach to pattern matching
  ☆13Jul 18, 2022Updated 3 years ago
• nejdetkadir / google-keep-api

  View on GitHub
  Google Keep API with Ruby on Rails
  ☆12Nov 3, 2021Updated 4 years ago
• frozsgy / semantle-tr

  View on GitHub
  Turkish fork of Semantle
  ☆12Oct 3, 2024Updated last year
• mitmath / numerical_hub

  View on GitHub
  interdisciplinary numerical methods: half-semester "hub" course
  ☆15Updated this week
• usirin / layout-tree

  View on GitHub
  An abstract tree data-structure to represent windows as leaf nodes.
  ☆12Dec 25, 2022Updated 3 years ago
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• gitpod-samples / template-ocaml

  View on GitHub
  A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
  ☆18Aug 28, 2023Updated 2 years ago
• dashersw / aktivite-akis-ornegi

  View on GitHub
  Node.js ile aktivite akış örneği
  ☆12Mar 23, 2016Updated 9 years ago
• rexim / lambda

  View on GitHub
  lambda calculus interpreter
  ☆13Mar 31, 2021Updated 4 years ago
• shd / logic2024

  View on GitHub
  ☆20Mar 4, 2025Updated 11 months ago
• hongseok-yang / graduatePL25

  View on GitHub
  ☆16Nov 10, 2025Updated 3 months ago
• madvorak / fecssk

  View on GitHub
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆15Feb 8, 2024Updated 2 years ago