Λ (DrRuisseau)

DrRuisseau

Geek Repo

0

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Λ's repositories

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:1Issues:1Issues:0

agda_lang

Agda is a dependently typed programming language / interactive theorem prover.

License:NOASSERTIONStargazers:0Issues:0Issues:0

aya-dev

~ Youkai (∞, 1)-Mountain

License:MITStargazers:0Issues:0Issues:0

build-your-own-jira-with-rust

A test-driven workshop to learn Rust building your own JIRA clone!

License:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

chumsky

Write expressive, high-performance parsers with ease.

License:MITStargazers:0Issues:0Issues:0

Compiler

Dysfunctional Lisp is a functional programming language, inspired by lisp but has more simple syntax.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

License:NOASSERTIONStargazers:0Issues:0Issues:0

DeepFaceLive

Real-time face swap for PC streaming or video calls

License:GPL-3.0Stargazers:0Issues:0Issues:0

Dysfunctional-Lisp-Online-Compiler

Online compiler/documentation for Dysfunctional Lisp

Stargazers:0Issues:0Issues:0

gaia

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

License:MITStargazers:0Issues:0Issues:0

golem-fibonacci

Example app & project structure for Golem Cloud

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

golem-todo-list

TODO app for Golem Cloud

Stargazers:0Issues:0Issues:0

golem-wordle

Wordle game for Golem Cloud

Stargazers:0Issues:0Issues:0

iggy

Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.

License:MITStargazers:0Issues:0Issues:0

morg-fork

Organize mathematical thoughts

Language:RacketLicense:MITStargazers:0Issues:1Issues:0

mvim_fork

MicroVIM, a simple editor implement implements some basic vim features.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

os-lib

OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs

License:NOASSERTIONStargazers:0Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

polytt

A type theory with native support for Polynomial Functors.

Stargazers:0Issues:0Issues:0

putting-the-you-in-cpu

A technical explainer by @kognise of how your computer runs programs, from start to finish.

License:MITStargazers:0Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0

scala-exercism-track-fork

Exercism exercises in Scala.

License:MITStargazers:0Issues:0Issues:0

scala-webapp-template

A pragmatic skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and, deployments

License:MITStargazers:0Issues:0Issues:0

scalacaster-algorithms-fork

Purely Functional Algorithms and Data Structures in Scala

Stargazers:0Issues:0Issues:0

Second-Brain

A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱

License:MITStargazers:0Issues:0Issues:0

skunk

A data access library for Scala + Postgres.

License:MITStargazers:0Issues:0Issues:0

typelevel-library.g8

Template for starting FP libraries ready to be published

License:CC0-1.0Stargazers:0Issues:0Issues:0

zio-todo-backend

Todo-Backend (https://www.todobackend.com/) implementation using ZIO, http4s and circe

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0