-
-
cats-actors Public
Forked from cloudmark/cats-actorsCats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency.
Scala Apache License 2.0 UpdatedFeb 13, 2025 -
-
wordpress-acf Public
Forked from suprnation/wordpress-acfA custom compiler which optimises retrieval of posts from the wordpress database. Retrieval through this method will result in a linear complexity rather than the quadratic complexity you get with …
Scala UpdatedJul 16, 2024 -
homeassistant-config Public
My personal homeassistant configuration
JavaScript MIT License UpdatedApr 9, 2024 -
-
-
hol-light-embed Public
A generic framework to perform object level reasoning with embedded logics in HOL Light.
-
refcard-org-mode Public
Forked from fniessen/refcard-org-modeOrg mode syntax reference card
UpdatedOct 2, 2020 -
SubAkka Public
A one-to-many pub/sub pattern using Akka Actors and Streams
Scala Apache License 2.0 UpdatedSep 23, 2020 -
hol-light Public
Forked from jrh13/hol-lightFork of HOL Light to develop various projects as submodules
OCaml Other UpdatedJul 18, 2020 -
scalevolve Public
A genetic algorithm implementation from scratch in Scala
Scala Apache License 2.0 UpdatedApr 3, 2020 -
hol-light-tools Public
Homemade tools, tactics, and theorems for HOL Light
-
-
{{ message }}