Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
cider
The Clojure Interactive Development Environment that Rocks for Emacs
circleci.test
Enhanced Clojure test runner for tests written with clojure.test
clojure
The Clojure programming language
clojure-transducer-examples
Some trivial examples of using Clojure Transducers
compojure-api
Sweet web apis with Compojure & Swagger
configs_scripts
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
fakeaws
flambo
A Clojure DSL for Apache Spark
dmatysiak's Repositories
dmatysiak/fakeaws
dmatysiak/agda
Agda is a dependently typed programming language / interactive theorem prover.
dmatysiak/cider
The Clojure Interactive Development Environment that Rocks for Emacs
dmatysiak/circleci.test
Enhanced Clojure test runner for tests written with clojure.test
dmatysiak/clojure
The Clojure programming language
dmatysiak/compojure-api
Sweet web apis with Compojure & Swagger
dmatysiak/configs_scripts
dmatysiak/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dmatysiak/dmatysiak.github.io
dmatysiak/environ
Library for managing environment variables in Clojure
dmatysiak/fn.py
Functional programming in Python: implementation of missing features to enjoy FP
dmatysiak/dep_types_ml
dmatysiak/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
dmatysiak/Idris2
A purely functional programming language with first class types
dmatysiak/jacquard
dmatysiak/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
dmatysiak/lean4
Lean 4 programming language and theorem prover
dmatysiak/logs
Logging infrastructure for OCaml
dmatysiak/misctools
dmatysiak/norms-and-forms
Norms and Forms book in progress
dmatysiak/ocaml
The core OCaml system: compilers, runtime system, base libraries
dmatysiak/organon
dmatysiak/organon-clj
dmatysiak/organon-rkt
dmatysiak/pie-hs
An implementation of Pie in Haskell
dmatysiak/plan9-theme.el
Emacs theme inspired by the Plan9 project
dmatysiak/plt_sandbox
PLT sandbox
dmatysiak/postagga
A Library to parse natural language in pure Clojure and ClojureScript
dmatysiak/reading-notes
dmatysiak/retry
Retry combinators for monadic actions that may fail