Lists (1)
Starred repositories
FreeACT is a minimal Active Object (Actor) framework for FreeRTOS
C# pure functional programming framework - come and get declarative!
Design patterns implemented in Java
A List of Foundational Haskell Papers
Learn how to design systems at scale and prepare for system design interviews
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
📚 A curated list of papers for Software Engineers
A little fail-safe filesystem designed for microcontrollers
plasTeX plugin to build formalization blueprints.
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Natural language tactics to teach mathematics using Lean 4
An example application written in Hexagonal (Ports and Adapter) architecture
learn-by-doing course/tutorial for functional programming on scala
Examples of stateful data in Clojure
Slides and other materials for functional programming lectures ITMO university
Code challenges to solve with Haskell
An advanced, but easy to use, platform for writing functional applications in Java 8.
Companion repository to the "Modern Embedded Systems Programming" video course.
Agda formalisation of the Introduction to Homotopy Type Theory
Class materials for a distributed systems lecture series
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Category Theory and Algebraic abstractions for Clojure and ClojureScript.