-
@securactive
- Karlsruhe
Block or Report
Block or report rixed
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
A collaborative Whiteboard powered by the [matrix] protocol and infrastucture.
Connect a Qt slot/functor/signal and disconnect it immediately after execution.
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
Implementations of various type systems in OCaml.
The Mercury logic programming system.
Pure Common Lisp anti-aliasing rasterizer
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)
code archaeology - restoring a 12 years old air combat simulator/arcade game