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,222 42 Updated Apr 28, 2024

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

Common Lisp 1,054 63 Updated Jun 23, 2024

A gameboy emulator in several different languages

C++ 464 22 Updated May 8, 2024

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

JavaScript 405 21 Updated Jan 13, 2022

OCaml PPX deriver for reflection

OCaml 48 3 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,120 56 Updated Jun 11, 2024

Declarative terminal graphics for OCaml

OCaml 345 30 Updated Apr 6, 2024

System and process monitor for Linux

C 775 109 Updated Jun 18, 2024

A modular sat/smt solver with proof output.

OCaml 95 8 Updated Jan 8, 2024

OCaml wrapper for HDF5

OCaml 31 17 Updated Sep 25, 2023

Data visualization and plotting for OCaml

OCaml 18 1 Updated Nov 28, 2017

Implementations of various type systems in OCaml.

OCaml 1,518 72 Updated Aug 31, 2015

Auto-formatter for OCaml code

OCaml 607 167 Updated May 30, 2024

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

C++ 1,181 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 May 11, 2024

Compiler from OCaml to Javascript.

OCaml 941 184 Updated Jun 23, 2024

A fast compressor/decompressor

C++ 6,040 973 Updated Jun 11, 2024

A pretty interesting pre-processor that uses OCaml

OCaml 5 1 Updated Nov 16, 2014

The Mercury logic programming system.

Mercury 883 55 Updated Jun 23, 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