GregorKiczales/old-old-spd 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

GregorKiczales/old-old-spd

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/GregorKiczales/old-old-spd)

Close

GregorKiczales / old-old-spdView on GitHubMore

• External links
• Readme badge

☆14Jul 19, 2023Updated 3 years ago

Alternatives and similar repositories for old-old-spd

Users that are interested in old-old-spd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• raceconditionrunning / raceconditionrunning.github.io

  View on GitHub
  Race Condition Running
  ☆11Updated this week
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated 9 months ago
• otherjoel / beeswax

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 10 months ago
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Apr 13, 2026Updated 5 months ago
• atlas-engineer / closure

  View on GitHub
  Closure web engine
  ☆17Jul 22, 2022Updated 4 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• fxdpntthm / type-checker

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 4 years ago
• SlicingDice / slicingdice-javascript

  View on GitHub
  Official JavaScript client for SlicingDice, Data Warehouse and Analytics Database as a Service.
  ☆11Dec 15, 2018Updated 7 years ago
• realitio / realitio-contracts

  View on GitHub
  Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts
  ☆15Dec 8, 2022Updated 3 years ago
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆12Apr 3, 2026Updated 6 months ago
• jur0 / eid

  View on GitHub
  Erlang unique id generator based on UNIX timestamp.
  ☆15Jun 25, 2019Updated 7 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• cpsc411 / cpsc411-book

  View on GitHub
  The WIP book for CPSC 411
  ☆68Jul 10, 2026Updated 3 months ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• substratic / engine-for-gambit

  View on GitHub
  Substratic Engine - A game engine for Gambit Scheme
  ☆11Jul 10, 2020Updated 6 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• guenchi / Core

  View on GitHub
  Scheme's commonly used small functions
  ☆29Sep 24, 2019Updated 7 years ago
• heroku / canal_lock

  View on GitHub
  Erlang lock manager for concurrently variable resource numbers
  ☆19Oct 12, 2021Updated 4 years ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 3 years ago
• Bogdanp / .emacs.d

  View on GitHub
  My Emacs configuration.
  ☆12Mar 20, 2026Updated 6 months ago
• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated last year
• Shinmera / feeder

  View on GitHub
  RSS, Atom and general feed parsing and generating
  ☆14May 18, 2026Updated 4 months ago
• hpyhacking / erlang-programming

  View on GitHub
  "Erlang Programming" Book's exec.
  ☆13Apr 27, 2012Updated 14 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 9 months ago
• carlfriess / DoritOS

  View on GitHub
  A micro-kernel operating system based on the Barrelfish CPU-driver.
  ☆21Mar 6, 2018Updated 8 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• ericdrgn / nyxt

  View on GitHub
  My personal base configuration for nyxt browser with opinionated theme(s) and organization.
  ☆16Jul 1, 2021Updated 5 years ago
• okeuday / varpool

  View on GitHub
  Erlang Process Pools as a Local Variable
  ☆21Oct 26, 2023Updated 2 years ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• rufuspollock / court-decisions-gb

  View on GitHub
  Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court
  ☆13Jul 7, 2018Updated 8 years ago
• rcouch / ecsv

  View on GitHub
  Erlang CSV Parser
  ☆30Aug 10, 2020Updated 6 years ago
• cloudant / rexi

  View on GitHub
  Lightweight RPC server
  ☆17Mar 11, 2016Updated 10 years ago
• emedia-project / texas

  View on GitHub
  A simple ORM for paris (https://github.com/emedia-project/paris)
  ☆18Feb 7, 2017Updated 9 years ago
• racket / swindle

  View on GitHub
  ☆12Aug 11, 2026Updated 2 months ago
• Hexstream / clos-mop.hexstreamsoft.com

  View on GitHub
  This project is an "Hexstreamification" of Robert Strandh's public domain HTML version of the CLOS MOP. It is by far the best version of …
  ☆14Jun 20, 2026Updated 3 months ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• kirasystems / science

  View on GitHub
  ☆13Feb 24, 2023Updated 3 years ago
• jenssegers / palenight.zsh-theme

  View on GitHub
  My custom zsh theme
  ☆13Jun 17, 2019Updated 7 years ago
• marvinborner / strong-reduction-tests

  View on GitHub
  A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests
  ☆16Jun 8, 2026Updated 4 months ago
• scymtym / architecture.hooks

  View on GitHub
  Hooks extension point mechanism (as known, e.g., from GNU Emacs)
  ☆18Oct 18, 2018Updated 7 years ago
• atlas-engineer / cl-webengine

  View on GitHub
  A binding to WebEngine Qt for Common Lisp
  ☆18Jul 22, 2022Updated 4 years ago
• eproxus / erlang_user_utilities

  View on GitHub
  Some erlang utility modules I have in ~/.ebin/
  ☆16Aug 18, 2015Updated 11 years ago
• symmetryinvestments / overview

  View on GitHub
  Overview for projects supported by Symmetry Investments
  ☆20Nov 27, 2024Updated last year