drruisseau Goto Github PK

idris-jvm

JVM bytecode back end for Idris

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.

idris-lens

idris-rbtree

Type-safe verified Red-Black Trees in Idris 2

idris-trifunctors

Trifunctors in Idris

idris2

A purely functional programming language with first class types

install-nix-action

Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

interact

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

interview_scala

Interview tasks

ipc

Intuitionistic Propositional Checker

kagera

A discrete, colored Petri Net DSL and executor

lanzaboote

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

lawvere

The collected works of F. W. Lawvere

lawvere-1

A categorical programming language with effects

lawvere-2

enriched lawvere theories represent operational semantics (baez, williams)

learn-fp

learn-by-doing course/tutorial for functional programming on scala

learning-haskell

Learning Haskell

lillefp

Talk about my evolution from Java dev to pure FP Scala dev.

liquidhaskell

Liquid Types For Haskell

lowdim

Low dimensional topology and geometry.

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

mastering-functional-programming

Mastering Functional Programming, published by Packt

math-comp

Mathematical Components

me.seravkin.replacer

Small telegram bot for exploring tagless final style with Dsl.scala

mesa

Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.

metabrowse

Static site generator for code search with IDE features for Scala

metals

Scala language server with rich IDE features 🚀

metascala

A JVM written in Scala

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source