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:
- SIGPLAN website☆13Updated this week
- 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
- Prolog, Datalog, languages, resources, and beyond!☆34Feb 10, 2026Updated 5 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- 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.
- Time-traveling C-like programming language for the Sphinx architecture☆16Apr 16, 2025Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆19Jul 24, 2024Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- The Resurgence VM, a register virtual machine designed for simplicity and ease of use, based on the old Rendor VM☆16Jun 5, 2023Updated 3 years ago
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 6 years ago
- 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
- A Pratt parser builder.☆12Jun 5, 2018Updated 8 years ago
- ☆23Mar 24, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Mar 8, 2016Updated 10 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 10 months ago
- Vortex Programming Language☆82Apr 4, 2024Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- 📝 🐕 Are you losing sanity every time you need to make a form? Are you have enough of all antipatterns and cursed frameworks in React? S…☆14Jan 22, 2026Updated 6 months ago
- Programming with pure lambda calculus☆144Jul 16, 2026Updated last week
- ☆18Jun 5, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 8 years ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 4 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- ☆12Jul 7, 2024Updated 2 years ago
- Hello 3D in Zig☆13May 29, 2022Updated 4 years ago
- Project proposals for fundraisers and grant applications [maintainer=@fricklerhandwerk]☆14Apr 21, 2025Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆50Dec 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An Image Dictionary for Co-dfns☆14Jun 16, 2017Updated 9 years ago
- k for BareMetal☆13Dec 10, 2024Updated last year
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- You are looking for https://github.com/tsoding/koil☆13Aug 27, 2024Updated last year
- LLMs in Futhark☆13Sep 1, 2025Updated 10 months ago
- Advents of Code in Dyalog APL☆10Jan 19, 2024Updated 2 years ago
- APL language server, implements Microsoft LSP for APL☆16May 18, 2019Updated 7 years ago