GreyPlane

followers

following

stars

China, Shanghai

Luigi's starred repositories

MarkovJunior

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Language:C#MIT6863 92 27

ziglings

Learn the Zig programming language by fixing tiny broken programs.

MPV_lazy

🔄 mpv player 播放器折腾记录 windows conf ；中文注释配置快速帮助入门； mpv-lazy 懒人包 win10 x64 config

Language:GLSLNOASSERTION3280 28 55

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language:RustMPL-2.03206 41 135

parabol

Free online agile retrospective meeting tool

Language:TypeScriptNOASSERTION1865 43 5996

Mango

Mango is a self-hosted manga server and web reader

Language:CrystalMIT1667 35 272

scalafmt

Code formatter for Scala

Language:ScalaApache-2.01408 29 1465

macwire

Lightweight and Nonintrusive Scala Dependency Injection Library

Language:ScalaApache-2.01255 60 123

inochi2d

Inochi2D reference implementation aimed at rendering 2D puppets that can be animated in real-time (using eg. facial capture).

Language:DBSD-2-Clause1227 27 28

pystack

🔍 🐍 Like pstack but for Python!

Language:PythonApache-2.0965 12 49

Aegisub

Win64 nightly builds available at GHA artifact, also at following link:

Language:C++NOASSERTION759 26 151

inochi-creator

Inochi2D Rigging Application

Language:DBSD-2-Clause745 21 196

scala-newtype

NewTypes for Scala with no runtime overhead

Language:ScalaApache-2.0540 13 40

sparkle

Haskell on Apache Spark.

Language:HaskellBSD-3-Clause445 59 79

droste

recursion schemes for cats; to iterate is human, to recurse, divine

Language:ScalaApache-2.0385 24 38

history

History of type theory (Chinese).

Language:TeX304 9 6

tornado-cats

A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash

Language:Solidity262 5 1

protoscope

Protoscope is a simple, human-editable language for representing and emitting the Protobuf wire format.

Language:GoApache-2.0256 18 8

incubator-tuweni

Apache Tuweni is a set of libraries and other tools to aid development of blockchain and other decentralized software in Java and other JVM languages. It includes a low-level bytes library, serialization and deserialization codecs (e.g. RLP), various cryptography functions and primatives, and lots of other helpful utilities.

Language:JavaApache-2.0169 17 119

lazysodium-java

A Java implementation of the Libsodium crypto library. For the lazy dev.

Language:JavaMPL-2.0134 10 99

base16384

Encode binary files to printable utf16be.

Language:CGPL-3.0111 9 4

endless

endless is a library to build distributed systems in functional Scala using a pluggable runtime model

Language:ScalaMIT96 8 1

Semagrams.jl

A graphical editor for graph-like structures

Language:ScalaMIT91 5 92

linear-scala

Linear types in Scala

Language:ScalaISC38 3 1

categorifier-c

Haskell to C compiler via Categorifier

Language:HaskellBSD-3-Clause27 2 21

hotel-california

A tool for OpenTelemetry tracing on the command line

Language:HaskellNOASSERTION21 2 7

Yuri

A riscv emulator.

Language:Rust15 20

flora

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments

Language:OCaml700

kalix-order-saga

Using Kalix Workflows to implement Saga patterns.

Language:Java300

koishi-plugin-pointfree

转换 haskell 代码为 pointfree style。

Language:TypeScriptMIT100