Lists (32)
π§ AI / ML
π App Development
Libraries, tools, template projects, etc.π§ CI/CD
βοΈ Cloud
Cloud Tools and Librariesπ§π½βπ Cutting Edge
π΄ D and C
D Language and C LibrariesποΈ Database Tools
SELECT sql_guides, sql_tools FROM Github;π Debugging
π Documentation Tools
Esoteric Languages and Projects
π€ FPGA + HDL
FPGA Tools, cores, and HDL Libraries.πΉ GoLang
π Guides & Tutorials
Step-by-steps, guides, breakdowns, etcπ₯οΈ HTTP + DNS + SSL
It's always DNS ππ Interesting Projects
π» IT & Support Tools
βοΈ JavaScript
β Kubernetes
Kubernetes Tools + Projectsπ Learning Tools
π MacOS
β² Math + Sci
Libraries and Languages related to Math/Science/Physicsπ Networking Tools
No place like 127.0.0.1π PCB + Schematics
Actual "Bare Metal" projectsπͺ Productivity Tools
π Python
π Scripting
π Security
π Self-Hosted Tools
Apps that can be hosted in the Cloudπ Shell + Terminal
π³ Virtualization + Containers
πΈοΈ WebDev
Ξ» :: [Haskell]
A collection of my favorite Haskell projects and libraries.Stars
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
Embedded specification language & model checker in Haskell
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html
you know the algorithms they teach you to write in school? Ya just that but its an actual interpreted programming language
Secure and fast microVMs for serverless computing.
A Clang-based C++ Interoperability Library
A Turing-complete esoteric programming language and hybrid Tape/Stack native AOT compiler.
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Design-by-contract in Python3 with informative violation messages and inheritance
The APL programming language (a subset thereof) compiling to Common Lisp.
π₯ π₯ π₯ The Open Source Retool Alternative
Preview "Laser Drift" Ship Selection Page
π» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
A FORTH in 340 bytes β the smallest real programming language ever as of yet.
Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second π
It's a Desktop application to demo the branch prediction.
A programming language in Turkish where grammatical case and mood are part of the type system.
A colorful, lightweight error-propagation framework for C
Generator of runtime monitors for flight and robotics applications.