Popular repositories Loading

1. Alonzo Alonzo Public

   An implementation of untyped λ-calculus (lambda calculus) in Elixir

   Elixir 2 1

2. Reducing-Reactive-to-Strong-Bisimilarity Reducing-Reactive-to-Strong-Bisimilarity Public

   My B.Sc. thesis: A formalisation of strong reactive bisimilarity (as introduced by Rob van Glabbeek) in Isabelle/HOL. Includes Isabelle-formalisations of labelled transition systems, ordinary stron…

   HTML

3. homepage homepage Public

   HTML

4. and and Public

   Analytic Nondualism. My M.Sc. thesis and related essays.

   HTML

5. quantum-core quantum-core Public

   Forked from quantum-elixir/quantum-core

   ⌚ Cron-like job scheduler for Elixir

   Elixir

6. elixir elixir Public

   Forked from elixir-lang/elixir

   Elixir is a dynamic, functional language for building scalable and maintainable applications

   Elixir