Liquid Types For Haskell

A Software Framework for Neuromorphic Computing

A tool for detecting Spectre vulnerabilities through fuzzing

The agda-unimath library

♊ higher-order, no-boilerplate monads

A curated list of awesome resources related to the Ada and SPARK programming language

John O'Donnell's home page

Functional computer hardware description language

Agda is a dependently typed programming language / interactive theorem prover.

The Mercury logic programming system.

A textbook on informal homotopy type theory

Linux kernel source tree

This project is about creating your own IRC server.

Miscellaneous experiments in Aga

Implementation of cryptographic primitives using Idris

A Dependently Typed Functional Programming Language

The Agda standard library

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

A List of Foundational Haskell Papers

🔬 Path to a free self-taught education in Bioinformatics!

A partially Homomorphic C library.

Empowering everyone to build reliable and efficient software.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

C library for cross-platform real-time audio input and output

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Understanding Deep Learning - Simon J.D. Prince

robosuite: A Modular Simulation Framework and Benchmark for Robot Learning

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.