brendanzab/lean_tutorial_exercises brendanzab/lean_tutorial_exercises

  • Stars
    star
    2
  • Language Lean
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brendanzab/lean_tutorial_exercises
github

brendanzab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Answers to the exercises in the Lean tutorial

More Repositories

1

codespan

Beautiful diagnostic reporting for text-based programming languages.
Rust
1,088
star
2

gl-rs

An OpenGL function pointer loader for Rust
Rust
677
star
3

approx

Approximate floating point equality comparisons and assertions
Rust
149
star
4

language-garden

A garden of small programming language implementations ๐Ÿชด
OCaml
112
star
5

rust-nbe-for-mltt

Normalization by evaluation for Martin-Lรถf Type Theory with dependent records
Rust
87
star
6

moniker

Automagical variable binding library for Rust
Rust
63
star
7

algebra

Abstract algebra for Rust (still very much a WIP!)
Rust
60
star
8

color-rs

A library that provides types and conversions for working with various color formats.
Rust
45
star
9

ocaml-flake-example

An overly elaborate example of building a โ€˜Hello Worldโ€™ package with Nix flakes, OCaml, and Dune
Nix
40
star
10

chronicle

An event sourced CQRS framework for Rust
Rust
37
star
11

open.gl-tutorials

DEPRECATED
Rust
17
star
12

rusp

A minimal scripting and data language for Rust.
Rust
16
star
13

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Rust
12
star
14

elm-stlc

Bidirectional type checker for the simply typed lambda calculus
Elm
12
star
15

bullet-rs

Bindings and wrapper for the Bullet physics C API.
Rust
9
star
16

mia-lang

A little concatenative language
Rust
7
star
17

vscode-mercury

Mercury language integration for VSCode
4
star
18

rust-visitors

Experimenting with visitors in Rust
Rust
3
star
19

glfwvbo

D
3
star
20

odyssey-engine-old

An experimental game engine written in D.
D
3
star
21

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris
Idris
3
star
22

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)
Rust
2
star
23

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
Rust
2
star
24

hedge

Indexed based half-edge mesh implementation
Rust
1
star
25

nixpkgs

My personal Nix configuration
Nix
1
star
26

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
Rust
1
star
27

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)
Rust
1
star