-
-
-
ucsb-ccs-computing.github.io Public
Forked from ucsb-ccs-computing/ucsb-ccs-computing.github.ioWebsite: https://ucsb-ccs-computing.github.io
HTML MIT License UpdatedApr 8, 2017 -
lean.js Public
An example of using Lean's backend API to implement a new language backend.
-
presentations Public
Forked from leanprover/presentationslean-related presentations
Lean Apache License 2.0 UpdatedJan 15, 2017 -
vscode-input-assist Public
Tree-based input assistance for unicode and more in Visual Studio Code
TypeScript Apache License 2.0 UpdatedDec 22, 2016 -
-
language-lean Public
An Atom package for the Lean language
-
-
compiler-performance Public
A tool for empirically evaluating the performance of Lean's native compiler
Lean UpdatedDec 9, 2016 -
effects Public
Experiments with reasoning about higher order, effectful, imperative programs.
Lean MIT License UpdatedOct 12, 2016 -
rust Public
Forked from rust-lang/rusta safe, concurrent, practical language
Rust Other UpdatedSep 8, 2016 -
-
programming_in_lean Public
Forked from avigad/programming_in_leanTeX Apache License 2.0 UpdatedAug 31, 2016 -
-
homebrew-lean Public
Forked from leanprover/deprecated-homebrew-leanhomebrew tap for Lean theorem prover
Shell UpdatedJul 7, 2016 -
io.lean Public
An experimental IO library for Lean (using my experimental backend).
UpdatedApr 29, 2016 -
-
-
molten Public
A library for exploring type level programming in Rust.
-
-
-
-
-
-
sruby Public
A statically typed Ruby like language tentatively named SRuby.
-
-
hyperloop Public
An prototype event loop for Ruby written in Rust using `mio`
Ruby MIT License UpdatedAug 31, 2015 -
-
rust-readline Public
Forked from shaleh/rust-readlineSimple wrapper around readline for the Rust language
Rust MIT License UpdatedAug 10, 2015
{{ message }}