Giters
Marco Ziener (mziener)

mziener

Geek Repo

3

followers

1

following

23

stars

Location:Berlin

Github PK Tool:Github PK Tool

Marco Ziener's repositories

conduit

Real world application built with ClojureScript + re-frame

Language:ClojureLicense:MITStargazers:0Issues:3Issues:0

course

Functional Programming Course

Language:HaskellStargazers:0Issues:3Issues:0

docs

Documentation site for OpenFaaS

License:MITStargazers:0Issues:2Issues:0

exercism.io-assignements

exercism.io assignements in various programming languages

Language:OCamlStargazers:0Issues:0Issues:0

jsonista

Clojure library for fast JSON encoding and decoding.

Language:ClojureLicense:EPL-2.0Stargazers:0Issues:0Issues:0

Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

LuK2015

Logik und Komplexität gemeinsame Notizen

Language:TeXStargazers:0Issues:0Issues:0

modern_software_engineering_corise_flaskbb

A classic Forum Software in Python using Flask.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

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.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

xocaml

Exercism Exercises in OCaml

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0