We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
An experimental library for metaprogramming with algebraic effects and handlers
Python 45 4
Home of Basis development for the 2023 TOP Sprint
Python 8
Deductive synthesis and compilation of specialized databases.
OCaml 13 1
λ² is a tool for synthesizing functional programs from input-output examples.
OCaml 88 7
Fast combinatorics functions for OCaml.
OCaml 9
Fast vectorized bitarrays for OCaml
OCaml 16
There was an error while loading. Please reload this page.