voorka / zen Public

forked from shayne-fletcher/zen

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A workshop full of programs in various states of disrepair and in somes cases, distress

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 877 Commits
bash		bash
cmake		cmake
config		config
coq/sf		coq/sf
cpp		cpp
emacs		emacs
felix		felix
haskell		haskell
math		math
notes		notes
nsi		nsi
ocaml		ocaml
ppf		ppf
python		python
rust		rust
scripts		scripts
.gitattributes		.gitattributes
.gitignore		.gitignore
Number		Number
README.md		README.md

Repository files navigation

zen

A workshop full of programs in various states of disrepair.

About

A workshop full of programs in various states of disrepair and in somes cases, distress

Report repository

Releases

No releases published

Packages

No packages published

Languages

OCaml 29.9%
HTML 24.7%
Python 15.1%
TeX 11.8%
C++ 9.0%
Coq 6.2%
Other 3.3%