RA-WEBs: Remote Attestation for WEB services

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

misc

Anonymous peer-to-peer instant messaging

JANOG Public Repo

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Algorithms and data structures implemented in Solidity

singing voice synthesizer with 3-part harmony and automatic voice leading

A Single Page Application written in Elm

📖 Practical examples in Elm

Driver loader for bypassing Windows x64 Driver Signature Enforcement

Convolutional Neural Networks

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

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

A list of Free Software network services and web applications which can be hosted on your own servers

Haskell Library for Deterministic and Non-deterministic Finite Automa

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

A static website compiler library in Haskell

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Koka language compiler and interpreter

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Cryptographic currency implementing Ouroboros PoS protocol

A Haskell library that simplifies access to remote data, such as databases or web-based services.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A friendly programming language from the future

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A strongly-typed language that compiles to JavaScript