Skip to content
View julesjacobs's full-sized avatar

Highlights

  • Pro

Block or report julesjacobs

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

Popular repositories Loading

  1. levenshtein levenshtein Public

    A simple proof of concept levenshtein automaton in Python

    Python 107 12

  2. ImmutableCollections ImmutableCollections Public

    Immutable collections in C#

    C# 53 55

  3. cgraphs cgraphs Public

    Deadlock freedom by type checking

    Coq 19 2

  4. boa boa Public

    Partition refinement

    Rust 14 1

  5. julesjacobs.github.io julesjacobs.github.io Public

    HTML 4 1

  6. Raamwerk Raamwerk Public

    Toy Ruby continuation based framework

    Ruby 3 1