m15k

PrivacyEngCollabSpace

Privacy Engineering Collaboration Space

UBoat

HTTP Botnet

free-ada

Build scripts for FSF GCC and AdaCore tools

alire

Command-line tool from the Alire project and supporting library

duta

vole

Vole is an actor language that compiles to the Actor Virtual Machine

ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs

OS.js

OS.js - JavaScript Web Desktop Platform

NodeOS

Lightweight operating system using Node.js as userspace

haskell-tor

A Haskell implementation of the Tor protocol.

Carp

A statically typed lisp, without a GC, for real-time applications.

linklater

A Haskell library for the Slack API (including real-time messaging!)

wire-server

🇪🇺 Wire back-end services

joplin

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

hnes

:video_game: NES Emulator written in Haskell

ciscoconfparse

Parse, Audit, Query, Build, and Modify Arista / Cisco / Juniper / Palo Alto / F5 configurations.

unison

A friendly programming language from the future

frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

dnscontrol

Infrastructure as code for DNS!

enso

Hybrid visual and textual functional programming.

libp0f

modernized and C99 compliant port of p0f (Passive OS fingerprinting)

mongoose

Embedded Web Server

duda

Duda I/O is an event-driven and high performant web services framework which exposes a friendly C API

platinum-parsing

All-around tools for compilation development

nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

c-mosquitto

Simple Amazon IoT compatible client

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

omi

Open Management Infrastructure

edx-platform

The Open edX LMS & Studio, powering education sites around the world!

futhark

:boom::computer::boom: A data-parallel functional programming language