Skip to content
View jfeser's full-sized avatar

Organizations

@mitdbg@mit-cap

Block or report jfeser

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. BasisResearch/effectfulBasisResearch/effectfulPublic

    An experimental library for metaprogramming with algebraic effects and handlers

    Python 24 3

  2. BasisResearch/citiesBasisResearch/citiesPublic

    Home of Basis development for the 2023 TOP Sprint

    Python 8

  3. castorcastorPublic

    Deductive synthesis and compilation of specialized databases.

    OCaml 12 1

  4. L2L2Public

    λ² is a tool for synthesizing functional programs from input-output examples.

    OCaml 87 7

  5. combinatcombinatPublic

    Fast combinatorics functions for OCaml.

    OCaml 9

  6. bitarraybitarrayPublic

    Fast vectorized bitarrays for OCaml

    OCaml 16