drruisseau Goto Github PK

followers: 0.0 following: 0.0 repos: 413.0 gists: 4.0

Name: Λ

Type: User

Bio: VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)

Λ's Projects

10pl

10 papers that all PhD students in programming languages ought to know, for some value of 10

2006_03_homotopy_lambda_calculus

Voevodsky's 2006 paper on homotopy lambda calculus

2dtypes-forky

Collaborative work on reversible computing

acg

An attempt to implement abstract categorial grammars (acg) in ocaml, this project serves mainly learning purposes

ackmi-discord-bot

Discord Bot written in Scala with music, and other features...

advanced-fp-in-scala

The official repository for LambdaConf's Applied FP in Scala workshop.

agda-algebras-forky

The Agda Universal Algebra Library (html docs available at the url below)

agda_lang

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

algebraictopology2019

Course notes for Pure Mathematics Topic D 2019

I listed All the questions that I wrote at least twice in https://seanforfun.github.io/leetcode/. Though all my solutions can be found at leetcode column. I also made my own conclusions about data structure in this repository, all files will be synchronized on my github.io.