Highlights
- Pro
Stars
OCode is a sophisticated terminal-native AI coding assistant that provides deep codebase intelligence and autonomous task execution
D2 is a modern diagram scripting language that turns text to diagrams.
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
An introduction to ARM64 assembly on Apple Silicon Macs
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
XD Pascal: A small embeddable self-hosting Pascal compiler for Windows. Supports Go-style methods and interfaces
Crucible is a library for symbolic simulation of imperative programs
The efficient SMT-based context-bounded model checker (ESBMC)
SPARK 2014 re-implementation of the TweetNaCl crypto library
🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps
Now we have become very big, Different from the original idea. Collect premium software in various categories.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Master programming by recreating your favorite technologies from scratch.
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
A lightweight, Arbitrary Precision Arithmetic Library for Swift!
A curated list of awesome resources related to the Ada and SPARK programming language
The SIMON and SPECK families of lightweight block ciphers. #nsacyber
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
A modern and intuitive terminal-based text editor
List of single-file C/C++ libraries, with emphasis on clause-less licenses.
Tiny style-controlled SVG iconset (101 icons, 12kb)