Skip to content
View ilsordo's full-sized avatar
4 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro

Organizations

@TriComp
Block or Report

Block or report ilsordo

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

  1. SAT-SMT-Solver SAT-SMT-Solver Public

    A SAT/SMT solver in OCaml

    OCaml 2 2

  2. Simplex Simplex Public

    OCaml 1 1

  3. hulls hulls Public

    Hulls

    Coq 1

  4. multicore-opam multicore-opam Public

    Forked from ocaml-multicore/multicore-opam

    OPAM repo for OCaml multicore development

  5. ocaml-typed-effects ocaml-typed-effects Public

    Forked from lpw25/ocaml-typed-effects

    OCaml with typed algebraic effects

    OCaml

  6. effects-examples effects-examples Public

    Forked from ocaml-multicore/effects-examples

    Examples to illustrate the use of algebraic effects in Multicore OCaml

    OCaml