drruisseau Goto Github PK

cfl-hol

Theory of Context-Free Languages in HOL

chatgpt_telegram_bot_fork

cherry

Universal Data design and transform language core

choam

Experiments with composable lock-free concurrency

chumsky

Write expressive, high-performance parsers with ease.

cicada

Cicada Language

citelegrambot

Telegram Bot For CI Notifications written In Scala 3

clj-ds

Clojure's data structures modified for use outside of Clojure

code

Proof theory seminar

coherence-of-heyting-arithmetic

Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)

comonad

compiler

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

coq-algs

Formally verified algorithms in Coq: concepts and techniques

coq-hott

A Coq library for Homotopy Type Theory

coq-lecture-notes

Coq Lecture Notes (WIP)

coq-mtl

An mtl-like library for dealing with effects in Coq

coq-tricks

Tricks you wish the Coq manual told you

coq-waterproof

coqcat

Formalization of Category Theory in Coq.

creative-scala-book-forky

Quick, graphical, fun introduction to programming in Scala.

ct_from_programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

cubical-hott-agda

Version of the HoTT-Agda library based on Cubical Agda

cubical-mini

cubicaltt

Experimental implementation of Cubical Type Theory

daily-coding-problem

Solutions to many of the exercises from daily coding problem: https://www.dailycodingproblem.com

deepfacelive

Real-time face swap for PC streaming or video calls

deeplearning-lenses-idris-fork

Neural networks using lenses in Idris

derivation

Configured derivation library for scala 3

devenv-fork

Fast, Declarative, Reproducible, and Composable Developer Environments

diet-coke

A small functional language with effect inference based on Koka.