A web interface for chatting with Alpaca through llama.cpp. Fully dockerized, with an easy to use API.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Servant servers utilities

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

Tool to search secrets in various filetypes.

A decentralization of GitHub using BitTorrent and Bitcoin

Inspired by Facebook's bunnylol search engine.

Simple component example

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Card game using Haskell miso

🍜 A tasty Haskell web framework

This library allows you to make simplest http requests, it is huge and requires rewriting

😠 Environmentally friendly environment variables

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Python script to remotely turn on your Xbox One

Xbox One power control

Automatically trace all (showable) binds in do expressions

Declarative GTK+ programming in Haskell

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Collection of various research papers I find interesting

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Disassembler Library for x86 and x86-64

Parse Server for Node.js / Express

Totally functional programming literature

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.