Repositories list

• intellij-rust

  Public
  Rust plugin for the IntelliJ Platform

  Kotlin

  •

  MIT License

  •381•1•0•0•Updated Mar 7, 2025Mar 7, 2025

• z3

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.5k•0•0•0•Updated Nov 25, 2024Nov 25, 2024

• cleango

  Public
  Bindings to libclingo for the lean4 prover and programming language!

  C

  •1•1•0•0•Updated Nov 13, 2024Nov 13, 2024

• obatcher

  Public
  Parallel Programming over Domains

  Jupyter Notebook

  •

  ISC License

  •31•2•0•1•Updated Jul 4, 2024Jul 4, 2024

• NUS-Racket

  Public
  The Racket of NUSketeers on the high seas

  Scheme

  •

  Other

  •671•1•0•0•Updated Jun 7, 2023Jun 7, 2023

• BOPC

  Public
  Block Oriented Programming -- Compiler

  Python

  •34•2•0•0•Updated Jun 1, 2023Jun 1, 2023

• NUSketeers-typed-racket

  Public
  Typed Racket

  Racket

  •

  Other

  •103•0•0•0•Updated Feb 13, 2023Feb 13, 2023

• ivy

  Public
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the …

  C++

  •

  Other

  •82•0•0•0•Updated Jun 22, 2022Jun 22, 2022

• tlaplus-to-ivy

  Public
  TLA

  •2•0•0•0•Updated May 25, 2022May 25, 2022