8000 Kerl13 (Kerl13) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Kerl13's full-sized avatar
14 followers · 11 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@lift-project @LesBoloss-es

Block or report Kerl13

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

  • randdag Public

    Counting and uniform random generation of several classes of DAGs

    C 4 GNU General Public License v3.0 Updated May 4, 2025

  • tree-sitter-menhir Public

    Menhir grammar for tree-sitter

    C 6 4 MIT License Updated Jul 17, 2023

  • combination_unranking Public

    Comparison of lexicographic unranking algorithms of combinations (subsets of size k of {0, 1, 2, …, n-1})

    C 2 MIT License Updated Apr 27, 2023

  • repostatus Public

    Check that everything has been committed and pushed and the end of the day

    Shell Updated Nov 30, 2022

  • ocaml-doctest Public

    A similar framework to Python's doctest for OCaml

    OCaml GNU General Public License v3.0 Updated Oct 13, 2022

  • nvim-treesitter Public

    Forked from nvim-treesitter/nvim-treesitter

    Nvim Treesitter configurations and abstraction layer

    Scheme Apache License 2.0 Updated Sep 1, 2022

  • boltzmann-brain Public

    Forked from maciej-bendkowski/boltzmann-brain

    Analytic sampler compiler for combinatorial systems

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 1, 2022

  • arbogen Public

    Forked from fredokun/arbogen

    a fast uniform random tree generator

    OCaml GNU General Public License v2.0 Updated Jan 19, 2022

  • variations Public

    C Updated Jul 13, 2021

  • ibst Public

    Interval Binary Search Trees

    C Updated May 3, 2021

  • signal-weechat Public

    Forked from thefinn93/signal-weechat

    Use signal in weechat

    Python Updated Nov 27, 2020

  • paganini Public

    Forked from maciej-bendkowski/paganini

    Multiparametric tuner for combinatorial specifications

    Python BSD 3-Clause "New" or "Revised" License Updated Jun 17, 2020

  • PSTL-Tri-optimise Public

    Forked from blackorbit1/PSTL-Tri-optimise

    Test et implémentation de plusieurs algorithmes de tri en vue de trouver un successeur au TimSort

    C++ MIT License Updated Feb 11, 2020

  • boltzmann-experiments Public

    Some experiments on Boltzmann sampling

    OCaml Updated Dec 16, 2019

  • bat Public

    Forked from sharkdp/bat

    A cat(1) clone with wings.

    Rust Apache License 2.0 Updated Sep 26, 2019

  • stdlib-shims Public

    Forked from ocaml/stdlib-shims

    Shims for forward-compatibility between versions of the OCaml standard library

    OCaml Other Updated Aug 6, 2019

  • hyde-hyde Public

    Forked from htr3n/hyde-hyde

    A cool theme inspired by spf13's Hyde theme

    CSS Other Updated Mar 29, 2019

  • AsciiMath Public

    Compiler from asciimath to LaTeX

    Haskell 8 2 MIT License Updated Mar 16, 2019

  • language-menhir Public

    Menhir language support in Atom

    Updated Feb 17, 2019

  • MrPython Public

    Forked from nohtyprm/MrPython

    A simplified programming environment for Python (3.x) - based on IDLE

    Python Other Updated Nov 30, 2018

  • rustre Public

    Compiler from a subset of Lustre to Rust

    OCaml 2 1 Updated Dec 20, 2017

  • NonTransitiveDice Public

    An implementation of the non transitive dice problem in swi-prolog

    Prolog 1 Updated Oct 8, 2017

  • GHA Public

    GitHub Announcer for IRC

    Python 2 1 Updated Jul 22, 2017

  • RichStr Public

    Easy `__str__` definitions in python

    Python Updated Apr 22, 2017

  • django-constance Public

    Forked from jazzband/django-constance

    Dynamic Django settings.

    Python BSD 3-Clause "New" or "Revised" License Updated Feb 14, 2017

  • ANSIToHTML Public

    Converter from ANSI to HTML

    OCaml 1 Updated May 10, 2016

  • pandoc_boilerplate Public

    Forked from Phyks/pandoc_boilerplate

    A boilerplate to write scientific documents in Markdown using Pandoc.

    Python Other Updated Apr 15, 2016

  • pretex Public

    A little compiler from an alternative version of LaTeX's mathematics to LaTeX

    Haskell Other Updated Apr 10, 2016
0