DrRuisseau

animus

An FRP animation library for Laminar

aquascope

Interactive visualizations of Rust at compile-time and run-time

AudioGPT

AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head

awesome-leading-and-managing

Awesome List of resources on leading people and being a manager. Geared toward tech, but potentially useful to anyone.

batcher

Batch similar requests together transparently

distage-example

Example project built using distage, tagless final, http4s, doobie and zio

fastparse

Writing Fast Parsers Fast in Scala

foundations

Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.

gpt4free

decentralising the Ai Industry, free gpt-4/3.5 scripts through several reverse engineered api's ( poe.com, phind.com, chat.openai.com, phind.com, writesonic.com, sqlchat.ai, t3nsor.com, you.com etc...)

idris-jvm

JVM bytecode back end for Idris

interact

Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf

ipc

Intuitionistic Propositional Checker

knight-lang

The Knight Programming Language

lanzaboote

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

lawvere

The collected works of F. W. Lawvere

liquidhaskell

Liquid Types For Haskell

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

mach-nix

Create highly reproducible python environments

nix-config-1

proost

A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.

quotidian

A menagerie of macro utilities and extensions for Scala 3

risingwave

RisingWave: A Distributed SQL Database for Stream Processing

scala-native-sfml

Scala Native 3 bindings for SFML library

scala-seed

A Nix flake for getting started with Scala.

scala_school-twitter-fork

Lessons in the Fundamentals of Scala

signals3

A lightweight event streaming library for Scala 3

tenetlang

A GPT-Designed Language Built for Humans

tmath

trading-app

💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)

TyRE-forky