kckennylau Goto Github PK

18338

babble

category-theory

cheddar

Cheddar, the language that works for you

codegolf-hackathon

CodeGolf Hackathon is a competition that aims to find the shortest code required to solve some specific programming puzzles, in the golfing languages used on PPCG. WIP.

g

g, a golfing library for Python.

itml

The web, for a more civilized age.

jelly

jellyfish

A two-dimensional esoteric programming language inspired by J

jmc3

Imperial College London Mathematics and Computer Science (Pure Mathematics and Computational Logic) Third Year

lean

lean-1

Lean Theorem Prover

lean-2

Lean Theorem Prover

lean-scheme

Formalisation of a scheme in Lean.

lean-stacks-project

Formal verification of parts of the Stacks Project in Lean

lean_elementarynt

Module for elementary number theory (where we only study ring of integers for rationals) with focus on modular arithmetic unique prime factorisation.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

local-langlands-abelian

Formalization of Statement of Local Langlands Correspondence for Tori

m1p1-lean

Material from M1P1, formalised in Lean

mathlib

Lean mathematical components library

mathlib4

Unofficial repository for the experimental porting of mathlib into lean4

natural_number_game

Building the natural numbers in Lean.

oasis

ordinals

phigs

the only notable golfing language

pyramid

Pyramid: a stack-based esoteric language.

pyth

Pyth, an extremely concise language. Try it here:

s.i.l.o.s

S.I.L.O.S aka SIL the "Simple Interpreted Language" for a modern age.

seriously

A golfing language that is probably terrible

sesos