Justification diagrams made easier!
☆22Jan 18, 2026Updated last month
Alternatives and similar repositories for jpipe-compiler
Users that are interested in jpipe-compiler are comparing it to the libraries listed below
Sorting:
- ☆18Sep 17, 2024Updated last year
- A Language Server Protocol (LSP) compliant analyzer for the P4 language☆22Jun 30, 2023Updated 2 years ago
- Statically checked Data Science programs.☆18Updated this week
- A user-friendly library for Data Science in Python.☆19Updated this week
- A python 2D football simulation☆17Aug 25, 2024Updated last year
- Tool for changing default visibility of PDF layers☆12Sep 4, 2024Updated last year
- Unpacks Microsoft LZNT1-compressed files by calling RtlDecompressBuffer☆13Sep 10, 2014Updated 11 years ago
- All my dotfiles☆10Feb 26, 2026Updated last week
- Tiniest ELF (Executable and Linkable Format) executable☆14Aug 27, 2018Updated 7 years ago
- A convolutional neural network implemented with tensorflow and trained to recognzie the face of famous persian celebrities.☆11Feb 24, 2024Updated 2 years ago
- My personal dotfiles☆14Feb 13, 2026Updated 3 weeks ago
- Porting gedit to the terminal, a branch from Sanos simple text editor.☆16Feb 6, 2013Updated 13 years ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Minimal Android app to find unfollowers☆11Apr 30, 2021Updated 4 years ago
- Arcaptcha library implementation in Golang to validate captcha.☆11Feb 19, 2023Updated 3 years ago
- Easy to understand applications with rust just for having fun☆13Aug 25, 2025Updated 6 months ago
- News Recommender System based on an Online Reinforcement Learning Model☆13Jul 9, 2023Updated 2 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- Replication Package of "IoT Bugs and Development Challenges" study☆12Feb 20, 2021Updated 5 years ago
- ☆11Mar 12, 2021Updated 4 years ago
- Send test commands to a pipe.☆12Jan 18, 2023Updated 3 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Golang SDK for Splitwise 3rd party integration☆12Nov 6, 2022Updated 3 years ago
- C impelmentation of an LL(1) parser of the Tiny language☆15Apr 24, 2010Updated 15 years ago
- Companion code to my ElixirConf 2021 talk☆16Oct 15, 2021Updated 4 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- ☆14Jan 30, 2025Updated last year
- Simple syntax highlighting for spice☆11Mar 23, 2019Updated 6 years ago
- KCompletion☆12Feb 20, 2026Updated 2 weeks ago
- Introduction to Internet of Things Platforms☆12Sep 1, 2021Updated 4 years ago
- Text based simple snake game written in python☆12Aug 1, 2021Updated 4 years ago
- Simple Persian CAPTCHA generator☆11Feb 17, 2025Updated last year
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated 11 months ago
- ☆10Jun 20, 2021Updated 4 years ago
- Write mach-o minidumps that can be analyzed with lldb☆12Nov 12, 2020Updated 5 years ago
- A Persian-ready RTL theme for Typora. Still in development.☆13Feb 28, 2019Updated 7 years ago
- C++ implementation of the GJK algorithm for convex polygon collision detection.☆11Aug 22, 2019Updated 6 years ago
- dos port☆13Dec 19, 2015Updated 10 years ago
- Ganjoor 2.0 Roadmap☆10May 4, 2017Updated 8 years ago