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 13 years ago
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated 3 months ago
• twlz0ne / playonline.el

  View on GitHub
  Play code with online playgrounds
  ☆13Mar 22, 2020Updated 6 years ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• atlas-engineer / closure

  View on GitHub
  Closure web engine
  ☆17Jul 22, 2022Updated 3 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• fare / lil-ilc2012

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

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 3 years ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Apr 3, 2026Updated last week
• 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
  ☆69Mar 7, 2026Updated last month
• erszcz / learning

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

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Updated this week
• substratic / engine-for-gambit

  View on GitHub
  Substratic Engine - A game engine for Gambit Scheme
  ☆11Jul 10, 2020Updated 5 years ago
• 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.
• 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
• Bogdanp / .emacs.d

  View on GitHub
  My Emacs configuration.
  ☆11Mar 20, 2026Updated 2 weeks ago
• hpyhacking / erlang-programming

  View on GitHub
  "Erlang Programming" Book's exec.
  ☆13Apr 27, 2012Updated 13 years ago
• cabo / td-coap4

  View on GitHub
  Test Descriptions for CoAP#4
  ☆12May 14, 2018Updated 7 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 3 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 2 years ago
• atlas-engineer / nkeymaps

  View on GitHub
  General-purpose keymap management à-la Emacs
  ☆15Jan 27, 2025Updated last year
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Mar 31, 2026Updated last week
• carlfriess / DoritOS

  View on GitHub
  A micro-kernel operating system based on the Barrelfish CPU-driver.
  ☆21Mar 6, 2018Updated 8 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
• okeuday / varpool

  View on GitHub
  Erlang Process Pools as a Local Variable
  ☆21Oct 26, 2023Updated 2 years ago
• 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.
• odo / quantile_estimator

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

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated 7 months ago
• rcouch / ecsv

  View on GitHub
  Erlang CSV Parser
  ☆30Aug 10, 2020Updated 5 years ago
• altenwald / forseti

  View on GitHub
  Process balancer and distributor for Erlang/OTP
  ☆26Dec 17, 2018Updated 7 years ago
• racket / swindle

  View on GitHub
  ☆12Feb 21, 2026Updated last month
• kirasystems / science

  View on GitHub
  ☆13Feb 24, 2023Updated 3 years ago
• travelping / gen_socket

  View on GitHub
  ☆29Jan 17, 2024Updated 2 years ago