Skip to content
View akr's full-sized avatar
193 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report akr

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

  • codegen Public

    Coq plugin for monomorphization and C code generation

    OCaml 34 3 GNU Lesser General Public License v2.1 Updated Nov 25, 2024

  • monadification Public

    Coq plugin for monadification

    OCaml 5 1 GNU Lesser General Public License v2.1 Updated Sep 24, 2024

  • coq-myprint Public

    Coq plugin to print Gallina terms (experimental)

    OCaml GNU Lesser General Public License v2.1 Updated Sep 24, 2024

  • ruby Public

    Forked from ruby/ruby

    The Ruby Programming Language

    Ruby 2 Other Updated May 28, 2024

  • coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jul 8, 2023

  • codegen-doc Public

    formatted document for Coq codegen plugin

    HTML GNU Lesser General Public License v2.1 Updated Dec 14, 2022

  • git-examine Public

    Ruby BSD 3-Clause "New" or "Revised" License Updated Feb 6, 2022

  • pdftimestamp Public

    pdftimestamp add a document timestamp signature for a PDF file.

    java pdf signature pdfbox sign timestamp pades
    Java 5 3 Apache License 2.0 Updated Dec 10, 2021

  • tex-lambda Public

    we should control spaces manually in lambda expressions in TeX

    TeX Updated Aug 2, 2021

  • vcs-ann Public

    interactive wrapper for "svn ann" and "git blame"

    Ruby 9 1 BSD 3-Clause "New" or "Revised" License Updated Sep 29, 2020

  • gem-codesearch Public

    Set up a full text code search engine for rubygems mirror

    Ruby 66 6 MIT License Updated Aug 21, 2020

  • htree Public

    HTML/XML tree library

    Ruby 5 Updated Aug 7, 2020

  • clean-build Public

    tool to build Ruby from clean

    Shell 1 Updated Jul 21, 2020

  • coq-html-escape Public

    Coq 10 Updated Jun 11, 2019

  • coq-curry-howard Public

    Document to explain Coq and Curry-Howard correspondence

    Coq Updated Jul 4, 2018

  • mphash Public

    minimal perfect hash

    Ruby 6 1 Updated Nov 22, 2017

  • ruby-usb Public

    libusb binding for Ruby

    C 52 30 GNU Lesser General Public License v2.1 Updated Sep 2, 2017

  • damemo Public

    My memo tool

    Ruby 1 Updated Aug 8, 2017

  • math-comp Public

    Forked from math-comp/math-comp

    Mathematical Components

    Coq Updated Feb 7, 2017

  • api-design-case-study-book Public

    10 5 Updated Jun 12, 2016

  • doctree Public

    Forked from rurema/doctree

    Repository of Japanese Ruby reference manual

    R Updated Jan 6, 2016

  • tb Public

    manipulation tool for table: CSV, TSV, JSON, etc.

    Ruby 92 2 Updated Sep 16, 2015

  • sezemi-2015 Public

    Forked from clear-code/sezemi-2015

    2015年のSEゼミ関連のデータを置くリポジトリー

    Ruby Other Updated Jul 3, 2015

  • milkode Public

    Forked from ongaeshi/milkode

    Source code search engine of line-oriented written by Ruby

    Ruby Other Updated Jan 8, 2015

  • depq Public

    Double-Ended Priority Queue

    Ruby 13 Updated Jan 6, 2015

  • tarai Public

    tarai function

    Ruby 1 Updated Jan 6, 2015

  • rubygems Public

    Forked from rubygems/rubygems

    Library packaging and distribution for Ruby.

    Ruby 1 Other Updated Oct 10, 2014

  • rubyci Public

    Forked from ruby/rubyci

    The Ruby CI for chkbuild

    Ruby Updated Jun 5, 2014

  • ruby-repeat-check Public

    Run ruby's make check repetedly

    Ruby BSD 3-Clause "New" or "Revised" License Updated May 24, 2014

  • escape Public

    HTML/URI/shell escaping utilitiy functions for Ruby

    Ruby 13 3 Updated Mar 29, 2014