paulcadman/raylean paulcadman/raylean

  • Stars
    star
    1
  • Language
    C
  • License
    zlib License
  • Created about 2 months ago
  • Updated 27 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
paulcadman/raylean
github

paulcadman

Reviews

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

Repository Details

Lean4 bindings for raylib

More Repositories

1

the-little-typer

Resources for "The Little Typer" study group
Racket
46
star
2

lean4-leetcode

Lean
7
star
3

dhall-to-jenkinsfile

Compile Dhall expressions to pipeline Jenkinsfiles
Haskell
6
star
4

certified-programming

Coq
1
star
5

zdays18

Resources for my session at Zuhlke days 2018
Swift
1
star
6

arrow-fsm

Playing with the arrow library with a simple FSM
Kotlin
1
star
7

alg

Haskell
1
star
8

aoc-2018

Advent of code 2018
Haskell
1
star
9

jira-emailnotify

A JIRA plugin to send notification emails upon JIRA events.
Java
1
star