Semantics of Programming Languages
☆12Aug 8, 2019Updated 7 years ago
Alternatives and similar repositories for programming_semantics
Users that are interested in programming_semantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TUS protocol for resumable file uploads via HTTP☆15Feb 16, 2026Updated 8 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆12May 1, 2026Updated 5 months ago
- soft-delete-triggers enables emulating db behavior through triggers when doing soft deletes☆10Aug 5, 2023Updated 3 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 7 years ago
- Draw SLDNF trees in LaTeX☆10May 7, 2025Updated last year
- 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 tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 7 years ago
- Purely functional data structures in Typescript☆14Jul 15, 2020Updated 6 years ago
- Utilities to write multilingual clojure programs☆13Apr 20, 2016Updated 10 years ago
- A modern, actively maintained rewrite of the original coveralls library for Node.js. Built for Node.js 20+ with modern dependencies and i…☆13Jun 16, 2026Updated 4 months ago
- Go task package☆15May 16, 2024Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Graded Dependent Type systems☆28Jun 28, 2023Updated 3 years ago
- The Phage Programming Language☆13Feb 8, 2021Updated 5 years ago
- 🌈 Terminal string styling☆12May 3, 2022Updated 4 years 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.
- Repository no longer in use☆15Aug 19, 2022Updated 4 years ago
- Desktop Sanskrit-English Dictionary☆13Jul 7, 2020Updated 6 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆42Jan 23, 2023Updated 3 years ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- Yearbirder is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photogr…☆14Updated this week
- Functions to scrape web pages from ebird.org☆11Jul 15, 2025Updated last year
- Sync your TCD timetable with Google Calendar☆10Nov 12, 2019Updated 6 years ago
- Xlib (version 11, release 6.7) binding for the programming language Go [DISCONTINUED]☆10Jan 2, 2024Updated 2 years ago
- Putting eBird on the decentralized web☆11Jan 7, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- PlayCanvas ClojureScript Demo App☆21Aug 30, 2022Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Resources for "The Little Typer" study group☆50Mar 19, 2020Updated 6 years ago
- 团队更名为 QAX A-TEAM☆10Apr 28, 2019Updated 7 years ago
- PDO-style named to unnamed placeholders compiler☆25Oct 14, 2026Updated 2 weeks ago
- python-csp provides python with communicating sequential processes style parallelism☆12Jul 13, 2021Updated 5 years ago
- A ternary search tree implementation in Erlang.☆12Jul 20, 2013Updated 13 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- 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.
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- ☆12May 14, 2023Updated 3 years ago
- Add missing integrity and resolved fields to a package-lock.json file☆24Apr 11, 2026Updated 6 months ago
- Repository aiming to support NGINX and open-source software 💻☆10Dec 15, 2019Updated 6 years ago
- Code of telegram bot for tracking your new subscribers☆11Sep 7, 2019Updated 7 years ago
- DWM status bar.☆12Oct 4, 2018Updated 8 years ago
- A Solver-Generator for CFL-R problems☆11Jul 7, 2017Updated 9 years ago