A community around PL at Prague.
☆18Dec 11, 2024Updated last year
Alternatives and similar repositories for meetups
Users that are interested in meetups are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My Bachelor's Thesis, in Czech☆10Apr 21, 2021Updated 5 years ago
- Read data from ascii tables☆11May 4, 2018Updated 8 years ago
- ☆41Nov 9, 2023Updated 2 years ago
- Logseq-NG is the experimental version of Logseq, which is built with Tauri.☆12Aug 31, 2022Updated 3 years ago
- simple project management and time tracking application written with Ruby on Rails☆17Oct 24, 2019Updated 6 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.
- ☆62Updated this week
- Avoid usage of class☆18Jan 4, 2018Updated 8 years ago
- ☆18Sep 1, 2023Updated 2 years ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 11 years ago
- A GHC plugin to derive instances.☆23Feb 12, 2023Updated 3 years ago
- Utility for stripping image metadata☆10Nov 9, 2020Updated 5 years ago
- ☆13Jul 8, 2020Updated 6 years ago
- ☆13Apr 4, 2024Updated 2 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.
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Provides a gradle plugin for finding affected "targets" in a monorepo.☆11Aug 5, 2026Updated last week
- Facades around interchangeable objects & system boundaries☆31May 5, 2014Updated 12 years ago
- Control your server's `traceroute` reply☆12Jun 12, 2016Updated 10 years ago
- Maybe Functor, Applicative and Monad☆30May 16, 2026Updated 2 months ago
- 广积粮☆15Apr 9, 2022Updated 4 years ago
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- My favorite quotes☆17Oct 12, 2025Updated 10 months ago
- A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of ap…☆12Nov 8, 2021Updated 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.
- Various archiving/compression programs and libraries for ComputerCraft☆11Feb 7, 2026Updated 6 months ago
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- An integrated testing tool inspired from LLVM's 'lit' tool☆18Mar 29, 2022Updated 4 years ago
- A blog of Programming Languages Group @Purdue☆12Updated this week
- A VSCode plugin for syntax highlighting support for the MLIR affine dialect☆10Apr 30, 2020Updated 6 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- Rustybox is something like busybox, but written in Rust language.☆12Apr 15, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A httpbin reimplementation in rust☆10Dec 29, 2018Updated 7 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Kotlin shape, an attempt at immediate mode GUI☆13Oct 20, 2020Updated 5 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- 🛠️ Simple smart CMS for Nette and Vue.js☆15Oct 13, 2025Updated 10 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆89Sep 13, 2021Updated 4 years ago
- A simple python platform to perform analyses on facebook messenger conversations☆10Dec 11, 2023Updated 2 years ago