📚 Learn to write an embedded OS in Rust 🦀

Curated list of Prolog packages and resources

A complete computer science study plan to become a software engineer.

A programming language for the decentralized web

A Dependently Typed Functional Programming Language

𝛌 Awesome Idris resources

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

The realtime kanban board for workgroups built with React and Redux.

Divide without division

A static website compiler library in Haskell

The single instruction C compiler

Snatch ChibiOS/RT using Haskell and Ajhc compiler.

A curated list of awesome Haskell frameworks, libraries and software.

Haskell Operating System

A collection of resources for learning type theory.

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

Voyager's Golden Disk Image Browser

ECMAScript Interpreter

In-a-Dyn is a dynamic DNS client with multiple SSL/TLS library support

Snake/Nibbler implementation using C++ template metaprogamming

A General-purpose Task-parallel Programming System using Modern C++

ProjectQ: An open source software framework for quantum computing

Master programming by recreating your favorite technologies from scratch.

Cross-platform, low level networking using the Rust programming language.

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

CoinHive cryptocurrency miner for node.js