Skip to content
View rixed's full-sized avatar
  • @securactive
  • Karlsruhe

Organizations

@retired-camels
Block or Report

Block or report rixed

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

Python 2,228 43 Updated Jul 30, 2024

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Common Lisp 1,076 66 Updated Jul 30, 2024

A gameboy emulator in several different languages

C++ 465 22 Updated May 8, 2024

A collaborative Whiteboard powered by the [matrix] protocol and infrastucture.

JavaScript 405 22 Updated Jan 13, 2022

OCaml PPX deriver for reflection

OCaml 48 4 Updated Nov 16, 2022

Connect a Qt slot/functor/signal and disconnect it immediately after execution.

C++ 24 4 Updated Aug 10, 2020

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

TeX 2,121 56 Updated Jun 11, 2024

Declarative terminal graphics for OCaml

OCaml 349 31 Updated Apr 6, 2024

System and process monitor for Linux

C 786 108 Updated Jul 27, 2024

A modular sat/smt solver with proof output.

OCaml 96 8 Updated Jan 8, 2024

OCaml wrapper for HDF5

OCaml 31 17 Updated Sep 25, 2023

Data visualization and plotting for OCaml

OCaml 19 1 Updated Nov 28, 2017

Implementations of various type systems in OCaml.

OCaml 1,521 72 Updated Aug 31, 2015

Auto-formatter for OCaml code

OCaml 612 169 Updated Jul 30, 2024

UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

C++ 1,184 227 Updated Sep 18, 2018

Staged metaprogramming in stock OCaml

OCaml 150 7 Updated Mar 24, 2024

Elm architecture and (V)DOM for OCaml

OCaml 196 13 Updated Jul 16, 2024

Compiler from OCaml to Javascript.

OCaml 944 185 Updated Jul 30, 2024

A fast compressor/decompressor

C++ 6,060 973 Updated Jun 24, 2024

A pretty interesting pre-processor that uses OCaml

OCaml 5 1 Updated Nov 16, 2014

The Mercury logic programming system.

Mercury 891 55 Updated Jul 29, 2024

Shell to access cloud storage via command line

C 11 2 Updated Nov 16, 2015

Pure Common Lisp anti-aliasing rasterizer

Common Lisp 32 6 Updated Mar 23, 2024

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

OCaml 92 20 Updated Aug 31, 2023

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.

OCaml 106 23 Updated Dec 7, 2023

GitHub mirror of the OCaml Subversion repository.

OCaml 6 1 Updated Nov 20, 2012

Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)

OCaml 3 1 Updated Jun 9, 2012

Deadlock prevention testbench

C 1 Updated May 23, 2012

a relational concurrent data mining language

C++ 52 6 Updated Aug 8, 2023

create sparse files from ordinary files

C 1 Updated Jul 11, 2012
Next