An menu/quick reference for Programming Language concepts
☆20Apr 13, 2024Updated 2 years ago
Alternatives and similar repositories for awesome-pl-concepts
Users that are interested in awesome-pl-concepts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ShnooTalk is a new programming language☆20Jan 11, 2025Updated last year
- SIGPLAN website☆13May 12, 2026Updated 2 weeks ago
- Virtual programming language☆10Dec 5, 2022Updated 3 years ago
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Typescript client for the Crossref API☆11Feb 10, 2024Updated 2 years ago
- Time-traveling C-like programming language for the Sphinx architecture☆16Apr 16, 2025Updated last year
- My Untitled OS and Kernel☆11Mar 7, 2024Updated 2 years ago
- An Emmet-like language that produces JSON, TOML, or YAML☆52Aug 13, 2023Updated 2 years ago
- My personal site.☆10May 21, 2026Updated last week
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 10 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆19Jul 24, 2024Updated last year
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Resurgence VM, a register virtual machine designed for simplicity and ease of use, based on the old Rendor VM☆16Jun 5, 2023Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 8 months ago
- Vortex Programming Language☆82Apr 4, 2024Updated 2 years ago
- fox32 assembler☆17Dec 14, 2025Updated 5 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 5 months ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Programming with pure lambda calculus☆142May 2, 2026Updated 3 weeks ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- ☆12Jul 7, 2024Updated last year
- A utility to manage HTTP requests from APL☆12May 18, 2026Updated last week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆50Dec 16, 2024Updated last year
- A standalone or embeddable JVM based interpreter/ compiler for Murmel, a single-namespace Lisp dialect inspired by Common Lisp☆26Oct 27, 2025Updated 7 months ago
- An Image Dictionary for Co-dfns☆15Jun 16, 2017Updated 8 years ago
- Project proposals for fundraisers and grant applications [maintainer=@fricklerhandwerk]☆14Apr 21, 2025Updated last year
- A simple version of Rust style type traits in Zig☆30Nov 25, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LowLevel Jam 0001☆21Mar 20, 2025Updated last year
- Simple Metaprogramming for Erlang☆21Dec 11, 2016Updated 9 years ago
- 📚 A collection of resources about normalization-by-evaluation☆29Jul 29, 2025Updated 10 months ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- LLMs in Futhark☆13Sep 1, 2025Updated 8 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆17Jan 19, 2026Updated 4 months ago