Skip to content
Change the repository type filter

All

    Repositories list

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      Other
      13k100Updated Dec 21, 2024Dec 21, 2024
    • Interpreter of the ITGL with dynamic type inference
      OCaml
      MIT License
      3000Updated Dec 7, 2024Dec 7, 2024
    • A template for writing papers using Ott (https://github.com/ott-lang/ott)
      TeX
      3000Updated Dec 5, 2024Dec 5, 2024
    • miri

      Public
      Miri Extended with Ownership Checks
      Rust
      Apache License 2.0
      352100Updated Nov 5, 2024Nov 5, 2024
    • probBBC

      Public
      Python
      BSD 2-Clause "Simplified" License
      1102Updated Sep 9, 2024Sep 9, 2024
    • Toy ML-style langauge for staged computation with refined environment classifiers
      OCaml
      0100Updated Sep 3, 2024Sep 3, 2024
    • tysurgery

      Public
      Artifacts of Type-Based Verification of Connectivity Constraints in Lattice Surgery
      Rust
      MIT License
      0000Updated Sep 1, 2024Sep 1, 2024
    • dyro

      Public
      Dyro: Dynamic Rust Ownership Verification
      Rust
      MIT License
      1801Updated Sep 1, 2024Sep 1, 2024
    • icon-why3

      Public
      why3 plugin for icon project
      OCaml
      4051Updated Apr 1, 2024Apr 1, 2024
    • consort

      Public
      OCaml
      14257Updated Mar 21, 2024Mar 21, 2024
    • Running experiments of homfa-runner, homfa-converter.
      Shell
      1000Updated Mar 15, 2024Mar 15, 2024
    • TeX
      21400Updated Feb 13, 2024Feb 13, 2024
    • OCaml
      MIT License
      0001Updated Mar 9, 2022Mar 9, 2022
    • Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
      OCaml
      27001Updated Jan 26, 2022Jan 26, 2022
    • Dockerfile
      0000Updated Oct 19, 2021Oct 19, 2021
    • bibman

      Public
      Bibliography Manager
      JavaScript
      MIT License
      0000Updated Oct 19, 2021Oct 19, 2021
    • consort-public

      Public archive
      This is NOT a development repository for Consort; it is provided as a snapshot of our ESOP 2020 work on Consort for other interested researchers.
      OCaml
      0000Updated Sep 18, 2021Sep 18, 2021
    • Documentation of Helmholtz
      CSS
      0000Updated Aug 3, 2021Aug 3, 2021
    • stacksafe

      Public
      C++
      MIT License
      0100Updated Feb 1, 2021Feb 1, 2021
    • TeX
      1100Updated Jan 18, 2021Jan 18, 2021
    • A compiler for the gradually typed lambda calculus
      C
      MIT License
      11000Updated Mar 19, 2020Mar 19, 2020
    • Shell scripts for managing students' repositories
      Shell
      0000Updated Dec 2, 2018Dec 2, 2018
    • SystemFg

      Public
      Implementation of Polymorphic Gradual Typing
      OCaml
      01000Updated Sep 16, 2018Sep 16, 2018
    • A DSL for Interruptible and Compensable Executions
      Scala
      MIT License
      2700Updated Jul 28, 2018Jul 28, 2018
    • automata

      Public archive
      Ruby
      Other
      103427Updated May 12, 2017May 12, 2017
    • VeriCUDA

      Public
      Deductive verifier for CUDA
      OCaml
      11410Updated Dec 19, 2016Dec 19, 2016
    • dimtype

      Public
      Implementation of dimension type system
      OCaml
      0110Updated May 18, 2016May 18, 2016
    • gear

      Public
      0000Updated Mar 15, 2016Mar 15, 2016
    • 0000Updated Jan 17, 2015Jan 17, 2015
    • LaTeX macros for ryoko ukagai
      TeX
      The Unlicense
      0100Updated Dec 18, 2014Dec 18, 2014