-
@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.
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
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.
retired-camels / ocaml
Forked from colinbenner/ocaml-llvmGitHub mirror of the OCaml Subversion repository.
Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)