anton-trunov/plt-study 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

anton-trunov/plt-study

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/anton-trunov/plt-study)

Close

anton-trunov / plt-studyView on GitHubMore

• External links
• Readme badge

A path to Programming Language Theory enlightenment

☆12Apr 13, 2016Updated 9 years ago

Alternatives and similar repositories for plt-study

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

• cesarferreira / clickclack

  View on GitHub
  🎹 A mechanical keyboard sound simulator for macOS
  ☆17Feb 15, 2025Updated last year
• adafruit / Adafruit-E-Paper-Display-Breakout-PCBs

  View on GitHub
  PCB files for Adafruit E-Paper Display Breakouts
  ☆12Feb 7, 2024Updated 2 years ago
• VinylRecords / vinyl-generics

  View on GitHub
  Connecting vinyl records to the wider ecosystem through Generics
  ☆12Feb 19, 2019Updated 7 years ago
• ssoelvsten / buddy

  View on GitHub
  BuDDy BDD package (with CMake support)
  ☆15May 7, 2024Updated last year
• CapelliC / hhprolog

  View on GitHub
  hitchhiker Prolog - an implementation of a novel virtual machine
  ☆12May 6, 2023Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• Makerfabs / Maduino-Zero-A9G

  View on GitHub
  Maduino Zero A9 or A9G demo code
  ☆13Dec 30, 2022Updated 3 years ago
• nathan-barry / symbolic_math

  View on GitHub
  A Rust library for performing symbolic mathematics. Supports basic arithmetic operations, expression simplification, and expansion, and e…
  ☆12Mar 19, 2024Updated 2 years ago
• lexi-lambda / mini-ml

  View on GitHub
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Feb 15, 2019Updated 7 years ago
• dgryski / peachpy-examples

  View on GitHub
  ☆15Jan 22, 2017Updated 9 years ago
• blackruan / seam-carving

  View on GitHub
  parallel seam carving for video retargeting
  ☆12Aug 24, 2016Updated 9 years ago
• elitru / v-jwt

  View on GitHub
  A JWT library for V-Lang
  ☆10Jan 21, 2024Updated 2 years ago
• asm0dey / school-crm

  View on GitHub
  Simple CRM for Russian public schools
  ☆10Jun 3, 2025Updated 9 months ago
• jfischoff / asynchronous-email-example

  View on GitHub
  Example web server to show how to use a bounded queue to asynchronously send emails
  ☆12Jun 4, 2017Updated 8 years ago
• purescript-hyper / purescript-hyperdrive

  View on GitHub
  A simpler request/response abstraction on top of Hyper
  ☆13Jul 26, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• odunboye / flutter_create

  View on GitHub
  For creating custom flutter project from template
  ☆13Nov 29, 2021Updated 4 years ago
• SimonRichardson / purescript-node-mongodb

  View on GitHub
  PureScript Aff bindings for node-mongodb.
  ☆10May 10, 2021Updated 4 years ago
• trxcllnt / rxjs-fs

  View on GitHub
  RxJS wrappers around some of the node fs lib.
  ☆12Jan 29, 2017Updated 9 years ago
• PEZ / scad-clj-workflow

  View on GitHub
  Interactive 3D Modeling with Clojure
  ☆23Oct 30, 2021Updated 4 years ago
• rewriting / tom

  View on GitHub
  ☆34Oct 12, 2020Updated 5 years ago
• romanovichim / TONQuest4

  View on GitHub
  ☆11Dec 8, 2023Updated 2 years ago
• mitchellwrosen / safe-exceptions-checked

  View on GitHub
  Safe, checked exceptions
  ☆13Sep 30, 2018Updated 7 years ago
• suyashmahar / europa

  View on GitHub
  🌕 JupyterLab's Desktop client
  ☆17Mar 3, 2022Updated 4 years ago
• dmjio / typed-interpolation

  View on GitHub
  Type-level interpolations in various forms
  ☆12Dec 14, 2024Updated 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 and start building anything your business needs.
• slfritchie / wide-world-of-actors

  View on GitHub
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆12Mar 19, 2018Updated 8 years ago
• Robin-and-friends / tCDP

  View on GitHub
  collateralized debt position, but fungible
  ☆14Aug 9, 2020Updated 5 years ago
• silkapp / json-schema

  View on GitHub
  Types and classes for defining JSON schemas.
  ☆23Oct 3, 2018Updated 7 years ago
• prdn / pigato-ruby

  View on GitHub
  PIGATO - an high-performance microservices framework for Ruby, Node.js and Io.js
  ☆11Nov 10, 2016Updated 9 years ago
• felixmulder / hedgehog-servant

  View on GitHub
  Property based testing for Servant using Hedgehog
  ☆19Apr 25, 2021Updated 4 years ago
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• p-v-o-s / olm-pstat

  View on GitHub
  Potentiostat module for the Open Lab Monitor
  ☆12Nov 24, 2013Updated 12 years ago
• agentsea / toolfuse

  View on GitHub
  A common protocol for AI agent tools
  ☆10Oct 21, 2024Updated last year
• alpmestan / servant

  View on GitHub
  Moved to http://github.com/haskell-servant
  ☆49Dec 2, 2014Updated 11 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 and start building anything your business needs.
• mstksg / decidable

  View on GitHub
  Combinators for manipulating dependently-typed predicates.
  ☆14Jul 5, 2024Updated last year
• TheMatten / hask

  View on GitHub
  Funny little Haskell impl
  ☆18Oct 28, 2020Updated 5 years ago
• tsoutsman / kaitai-rs

  View on GitHub
  A macro for compiling Kaitai Struct into Rust.
  ☆18Nov 23, 2023Updated 2 years ago
• thi-ng / structgen

  View on GitHub
  Clojure library for parsing and seamless working with native C structs/structured byte buffers
  ☆14May 26, 2015Updated 10 years ago
• nihey / trending-history

  View on GitHub
  GItHub Trending History
  ☆16Nov 2, 2016Updated 9 years ago
• purescript-node / purescript-node-streams

  View on GitHub
  A wrapper for Node's Stream API
  ☆19Jan 26, 2025Updated last year
• quephird / purescript-by-example

  View on GitHub
  Just example code and exercise solutions for the PureScript by Example book by Phil Freeman
  ☆14Mar 7, 2017Updated 9 years ago