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 2 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.

• jlouis / erlang-utp

  View on GitHub
  uTP implementation in Erlang
  ☆22Jun 9, 2012Updated 14 years ago
• cu1ch3n / menu

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

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 6 months ago
• twlz0ne / playonline.el

  View on GitHub
  Play code with online playgrounds
  ☆13Mar 22, 2020Updated 6 years ago
• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 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.
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• wilbowma / experimenting-with-redex

  View on GitHub
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Oct 21, 2024Updated last year
• fare / lil-ilc2012

  View on GitHub
  LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012
  ☆23Oct 14, 2023Updated 2 years ago
• zotonic / router

  View on GitHub
  In-memory trie based router for fast parallel path lookups with wildcards.
  ☆15Oct 1, 2025Updated 8 months ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Apr 14, 2026Updated last month
• lucastorri / coapex

  View on GitHub
  CoAP protocol in Elixir
  ☆13Mar 24, 2016Updated 10 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
• cpsc411 / cpsc411-book

  View on GitHub
  The WIP book for CPSC 411
  ☆69Apr 25, 2026Updated last month
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• erszcz / learning

  View on GitHub
  Random scraps using different languages and tools saved in case of some disaster
  ☆14Dec 29, 2025Updated 5 months ago
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Apr 3, 2026Updated 2 months ago
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆16Jun 26, 2019Updated 6 years ago
• nodename / async-plgd

  View on GitHub
  Hoare's CSP examples implemented with Clojure core.async
  ☆63Oct 1, 2013Updated 12 years ago
• drothlis / pretty-symbols

  View on GitHub
  Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…
  ☆42Sep 30, 2014Updated 11 years ago
• guenchi / Core

  View on GitHub
  Scheme's commonly used small functions
  ☆29Sep 24, 2019Updated 6 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• Shinmera / feeder

  View on GitHub
  RSS, Atom and general feed parsing and generating
  ☆14May 18, 2026Updated 3 weeks ago
• agda / agda-stdlib-meta

  View on GitHub
  Meta-programming utilities for Agda.
  ☆20May 31, 2026Updated last week
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 5 months ago
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Apr 13, 2026Updated last month
• carlfriess / DoritOS

  View on GitHub
  A micro-kernel operating system based on the Barrelfish CPU-driver.
  ☆21Mar 6, 2018Updated 8 years ago
• eigenhombre / blorg

  View on GitHub
  Yet Another Org-Mode-and-Clojure-Based Static Blog
  ☆11Apr 4, 2023Updated 3 years ago
• ericdrgn / nyxt

  View on GitHub
  My personal base configuration for nyxt browser with opinionated theme(s) and organization.
  ☆16Jul 1, 2021Updated 4 years ago
• lexi-lambda / racket-multimethod

  View on GitHub
  Proof-of-concept, mostly safe multimethods in Racket
  ☆12Sep 9, 2020Updated 5 years ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• edn-query-language / eql-graphql

  View on GitHub
  Tools to convert EQL expressions to GraphQL strings
  ☆18Nov 19, 2024Updated last year
• odo / quantile_estimator

  View on GitHub
  memory-efficient Erlang data structures to store distributions of larges sets of data
  ☆22Mar 3, 2025Updated last year
• 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.
• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated 9 months ago
• racket / swindle

  View on GitHub
  ☆12May 26, 2026Updated 2 weeks ago
• emedia-project / texas

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

  View on GitHub
  ☆13Feb 24, 2023Updated 3 years 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 …
  ☆14May 11, 2025Updated last year
• travelping / gen_socket

  View on GitHub
  ☆29Jan 17, 2024Updated 2 years ago
• jenssegers / palenight.zsh-theme

  View on GitHub
  My custom zsh theme
  ☆13Jun 17, 2019Updated 6 years ago