Pinned Repositories
conduit
Real world application built with ClojureScript + re-frame
course
Functional Programming Course
docs
Documentation site for OpenFaaS
exercism.io-assignements
exercism.io assignements in various programming languages
jsonista
Clojure library for fast JSON encoding and decoding.
Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
LuK2015
Logik und Komplexität gemeinsame Notizen
modern_software_engineering_corise_flaskbb
A classic Forum Software in Python using Flask.
nixpkgs
Nix Packages collection
search_with_machine_learning_course
Public repository for the Search with Machine Learning course taught by Daniel Tunkelang and Grant Ingersoll. Available at https://corise.com/course/search-with-machine-learning?utm_source=daniel.
mziener's Repositories
mziener/conduit
Real world application built with ClojureScript + re-frame
mziener/course
Functional Programming Course
mziener/docs
Documentation site for OpenFaaS
mziener/exercism.io-assignements
exercism.io assignements in various programming languages
mziener/jsonista
Clojure library for fast JSON encoding and decoding.
mziener/Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
mziener/LuK2015
Logik und Komplexität gemeinsame Notizen
mziener/modern_software_engineering_corise_flaskbb
A classic Forum Software in Python using Flask.
mziener/nixpkgs
Nix Packages collection
mziener/search_with_machine_learning_course
Public repository for the Search with Machine Learning course taught by Daniel Tunkelang and Grant Ingersoll. Available at https://corise.com/course/search-with-machine-learning?utm_source=daniel.
mziener/xocaml
Exercism Exercises in OCaml