Sir Wabbit

kotlin-typeclasses. Typeclass programming for Kotlin with compiler, Gradle, and IntelliJ integration.

kotlin-base58. Python

Lexoid. The open-source universal adapter for LLMs. Turn messy real-world data into clean, agent-ready context.

lockbox. Lockbox is a forward proxy for making third party API calls.

parallel-for. Automatically parallelize your for-comprehensions at compile time.

nerfies. This is the code for Deformable Neural Radiance Fields, a.k.a. Nerfies.

koan. A word2vec negative sampling implementation with correct CBOW update.

stateline. Distributed Markov Chain Monte Carlo

wotsp. An implementation of the Winternitz OTS (W-OTS+) in Go

zio-json. Fast, secure JSON library with tight ZIO integration.

zio-intellij. A companion IntelliJ IDEA plugin for the ZIO library ecosystem.

zio-process. A simple ZIO library for interacting with external processes and command-line programs

uzhttp. Minimal HTTP server for Scala+ZIO

solving-the-dependency-injection-problem-with-zio.

awesome-haskell-deep-learning. In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.

zio. ZIO — A type-safe, composable library for async and concurrent programming in Scala

gpytorch. A highly efficient implementation of Gaussian Processes in PyTorch

pymc3_robust_regression. Robust Linear Regression with PyMC3

ChangePointAnalysis. Estimating when an event occurred and uncertainty with MCMC

learnopencv. Learn OpenCV : C++ and Python Examples

satellite_analysis. Analysis scripts of things related to satellites

fury-old. A new build tool for JVM languages

idris-ct. formally verified category theory library

awesome-tagless-final. Curated list of TF related stuff

sbt-explicit-dependencies. Scala

Mathics. This repository is for archival. Please see https://github.com/Mathics3/mathics-core

typedefs. Programming language agnostic type construction language based on polynomials.

parsec.py. A universal Python parser combinator library inspired by Parsec library of Haskell.

movfuscator. The single instruction C compiler

jeb. a journal app

react-js-diagrams. A flow based diagramming library written in React

dhall-lang. Maintainable configuration files

ghcup. DEPRECATED IN FAVOR OF haskell/ghcup-hs

inc. Experiments with incremental compiler construction on the JVM

UnicodeMath. Plugin for Sublime for inserting unicode math symbols and emoji

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

plur. Plurality Monad: Zero, one, or at least two.

vscode-idris. Idris for Visual Studio Code

etanol. A purity and nullability analysis tool for Java.

landlord. Provides the ability to run multiple JVM based applications on the one JVM

lambdaconf-2018-workshop. LambdaConf 2018 workshop on building Telegram bots in Haskell.

FiraLorde. Monospaced font with programming ligatures incl scala/scalaz

crs. Scala

theorem-prover. An automated theorem prover for first-order logic.

proofs. My personal repository of formally verified mathematics.

javan-warty-pig. AFL-like fuzzer for the Java Virtual Machine

flex. Probabilistic deep learning for data streams.

scala-mset. Multisets for Scala

structured-text-tools. A list of command-line tools for manipulating structured text data

better-monadic-for. Desugaring scala `for` without implicit `withFilter`s

javaclass. A parser for the Java class file format

curryhoward. Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

scala-async. An asynchronous programming facility for Scala

distance_transform. Distance Transforms of Sampled Functions

awesome-recursion-schemes. Resources for learning and using recursion schemes.

idris-tparsec. TParsec - Total Parser Combinators in Idris

MutabilityDetector. Lightweight analysis tool for detecting mutability in Java classes

nano-Agda. Tiny type-checker with dependent types

capsule. The Capsule Hash Trie Collections Library

goggles. Pleasant, yet principled Scala optics DSL

fp-course. Functional Programming Course

Iaia. A recursion scheme library for Idris.

tikzcd-editor. A simple visual editor for creating commutative diagrams.

typed-tagless-final. Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes

vigil. Vigil, the eternal morally vigilant programming language

OpenRCT2. An open source re-implementation of RollerCoaster Tycoon 2 🎢

smock. A utility harness for testing free programs (built on specs2)

archetype. Generalized recursion for Scalameta. And a Scala template tool.

scala-nameof. Get the name of an variable, function, class member, or type as a string--at compile-time!

kittens. Automatic type class derivation for Cats

hwsl2-scala. Hashing with SL2 for Scala

scala-newtype. NewTypes for Scala with no runtime overhead

Krakatau. Java decompiler, assembler, and disassembler

How-To-Prevent-Scraping. The ultimate guide on preventing Website Scraping

cnamedtuple. An implementation of namedtuple written in C for warp speed.

youtube-dl. Command-line program to download videos from YouTube.com and other video sites

scala-tk. General, extensible effect monad for Scala with message-passing semantics

browser-laptop. [DEPRECATED] Please see https://github.com/brave/brave-browser for the current version of Brave

fast-serialization. FST: fast java serialization drop in-replacement

Blodwen. A prototype successor to Idris

mxnet. Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

blackbox. A Python module for parallel optimization of expensive black-box functions

more-itertools. More routines for operating on iterables, beyond itertools

PythonChecker. A maintainable Python code checker for Sublime Text 3

rng. Pure-functional random value generation

grenade. Deep Learning in Haskell

diesel. Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala

pyfst. A Python interface to OpenFst

Vegas. The missing MatPlotLib for Scala + Spark

extraction-framework. The software used to extract structured data from Wikipedia

Haskell-Morte-Library. A bare-bones calculus-of-constructions

iota. Fast [co]product types with a clean syntax. For Cats & Scalaz.

totality. A total functional language embedded in Scala using macros.

teleirc. A simple Telegram ↔ IRC gateway.

keras. Deep Learning for humans

electricsheep. infinite evolving crowdsourced artwork

freecli. Command line parsing library using Free Applicative

idris-py. Python backend for Idris (generates Python source, not bytecode).

CCWT. Complex Continuous Wavelet Transform

AdNauseam. AdNauseam: Fight back against advertising surveillance

aluffi. Solutions to Paolo Aluffi's "Algebra: Chapter 0".

idris-koans. Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

ParsingWithProofs. Applicative/monadic parsing with dependent types

parseback. A Scala implementation of parsing with derivatives

codec-jvm. A JVM bytecode assembler written in Haskell.

magpie. an exploration of subtyping-based category theory in scala

bam-idris-blog. Static blog generator in Idris.

ulid. Universally Unique Lexicographically Sortable Identifier (ULID) in Go

typeshed. Collection of library stubs for Python, with static types

md2googleslides. Generate Google Slides from markdown

tfm. tagless final macro

spectrogram.js. Spectrogram using canvas, WebRTC, and the Web Audio API.

treelog. Allows logging in a tree structure so that comprehensive logging does not become incomprehensible

hy. A dialect of Lisp that's embedded in Python

base.g8. My cool template

delta. Type safe delta

fn.py. Missing features of fp in Python -- active fork of kachayev/fn.py

fn.py. Functional programming in Python: implementation of missing features to enjoy FP

remote-sync. Upload your files to remote host after every change. Both SCP/SFTP and FTP are supported.

adt4j. adt4j - Algebraic Data Types for Java

fitspec. refine properties for testing Haskell programs

steven. Rust Minecraft Client

paperdoll. Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf

fleet-buddy. Eve Online fleet buddy based on the CREST API

eta. The Eta Programming Language, a dialect of Haskell on the JVM

idris-jvm. Idris on the JVM

purescript-native. A native compiler backend for PureScript (via C++ or Golang)

iteratee. Iteratees for Cats

matryoshka. Generalized recursion schemes and traversals for Scala.

eveapi. Scala bindings for various APIs related to Eve Online

scato. An exploration of purely functional library design in Scala.

idris-java. Java Code Generator for Idris

baskerville. Port of Bravo to Haskell

cglib. cglib - Byte Code Generation Library is high level API to generate and transform Java byte code. It is used by AOP, testing, data access frameworks to generate dynamic proxy objects and intercept field access.

algebra. Experimental project to lay out basic algebra type classes

MinecraftForge. Modifications to the Minecraft base files to assist in compatibility between mods. New Discord: https://discord.minecraftforge.net/

freek. Freek, a freaky simple Free to combine your DSL seamlessly

Glowstone. A fast, customizable and compatible open source server for Minecraft: Java Edition

hematite_server. A Minecraft server clone

eve. Haskell EVE Online Bindings

quiver. A reasonable library for modeling multi-graphs in Scala

doobie. Functional JDBC layer for Scala.

Twitch-Streamer-Linux. This is a script dedicated to stream to Twitch.tv with Webcam support

syzkaller. syzkaller is an unsupervised coverage-guided kernel fuzzer

notty. A new kind of terminal

hw. Official Hedgewars mirror for GitHub!

pioneer. A game of lonely space adventure

neural-doodle. Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait... there's more! (An implementation of Semantic Style Transfer.)

system-bus-radio. Transmits AM radio on computers without radio transmitting hardware.

marginotes. Quick, cool margin notes with jQuery

cats-collections. Data structures for pure functional programming in Scala

monix. Asynchronous, Reactive Programming for Scala and Scala.js.

emm. A general monad for managing stacking effects

sbt-cpp. Sbt plugin to allow native compilation of C and C++

ftl. C++ template library for fans of functional programming

scalaprops. property based testing library for Scala

Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell. Embedding a Full Linear Lambda Calculus in Haskell

scala-offheap. Experimental type-safe off-heap memory for Scala.

gspread. Google Sheets Python API

AccountsClient. Java client for accessing Mojang's account/profile API

urwid. Console user interface library for Python (official repo)

scalaworld-2015. Supporting material for ScalaWorld 2015.

LiveShell. Shell developed with LiveScript

upterm. A terminal emulator for the 21st century.

jiprolog. JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.

sbt-clojure. SBT plugin building Clojure code

sbt-frege. Frege support for sbt

yi. The Haskell-Scriptable Editor

lightyear. Parser combinators for Idris

idris101. Learning project by a group of people interested in learning the Idris language

idris-crypto. Implementation of cryptographic primitives using Idris

iridium. xmonad with the X11 abstracted and configured with Idris

post-rfc. Blog post previews in need of peer review

HLearn. Homomorphic machine learning

PyBitmessage. Reference client for Bitmessage: a P2P encrypted decentralised communication protocol:

download-all-vk-music.coffee. Little program to download all your music from https://vk.com

q. Your gentle way to grep with named predefined sets of regular expressions

rustymine. Barebones Minecraft server in Rust

nom. Rust parser combinator framework

xwt. A cross-platform UI toolkit for creating desktop applications with .NET and Mono

Paket. A dependency manager for .NET with support for NuGet packages and Git repositories.

ghci-in-a-new-dress. ghci with autocomplete, calltips, colors with type information, variable inspector, and more.

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

unison. A friendly programming language from the future

multisets. Open source implementation of multi-sets (or bags) for Scala collection

wartremover. Flexible Scala code linting tool

alasc. Computational Group Theory in Scala. It's Scala permuted!

probability-monad. Scala

fastparse. Writing Fast Parsers Fast in Scala

scala3. The Scala 3 compiler, also known as Dotty.

scalaxy-streams. Scalaxy/Streams: make your Scala collections faster!

unidecode. ASCII transliterations of Unicode text for Java

sbt-pack. A sbt plugin for creating distributable Scala packages.

zindex. Create an index on a compressed text file

l1-path-finder. 🗺 Fast path planning for 2D grids

atto. friendly little parsers

scalaio-2014. ScalaIO Talk 2014 code sample

dnngraph. A DSL for deep neural networks, supporting Caffe and Torch

masscan. TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

ipymd. Use the IPython notebook as an interactive Markdown editor