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

tiniest x86-64-linux emulator

Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.

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.

Guidelines for low-level cryptography software

MIRACL Core

Comprehensive Python Cheatsheet

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Color schemes for default macOS Terminal.app

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

Arbitrary-precision arithmetic in pure Swift

NSA Cybersecurity. Formerly known as NSA Information Assurance and the Information Assurance Directorate

A modern and intuitive terminal-based text editor

List of single-file C/C++ libraries.

C Bounded Model Checker

Shell script to create a chroot jail on Mac OS X

Tiny style-controlled SVG iconset (101 icons, 12kb)

Perceptual JPEG encoder