Z.'s repositories
min-caml-wasm
A port of the min-caml compiler targeting WebAssembly.
awesome-elm
A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute. :rocket:
ocaml-ctypes-python-extension-example
Example showing how to write a Python extension module in OCaml using ocaml-ctypes.
camllight
The Caml Light implementation of the Caml language
eopl-3rd-ocaml
Essentials of Programming Language (third edition) examples and exercises in OCaml.
flask-admin
Simple and extensible administrative interface framework for Flask
Flask-User
Customizable User Account Management for Flask: Register, Confirm email, Login, Change username, Change password, Forgot password and more.
laixi-vue
some practice for vue
MicroGrad.jl
A Julia port of Andrej Karpathy's micrograd.
min-caml-llvm
min-caml[forked]
novelWriter
novelWriter is an open source plain text editor designed for writing novels. It supports a minimal markdown-like syntax for formatting text. It is written with Python 3 (3.9+) and Qt 5 (5.15) for cross-platform support.
pony-tutorial
Tutorial for the Pony programming language
pro
Awesome Pro themes
Sublime-Coq
Coq programming language support for Sublime Text