L
lightweight formal methods

  • Any
  • Blade
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Dockerfile
  • Go
  • HCL
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • Kotlin
  • Makefile
  • Objective-C
  • PHP
  • Python
  • Ruby
  • SCSS
  • Shell
  • Swift
  • TSX
  • TypeScript
  • Vue

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View corsa project
    C

    Babel Group / corsa / corsa

    Corsa is a library to write runnable code contracts in Elixir.

    programming ... Elixir program prop... lightweight ...
    0
    Updated Jul 28, 2025
    0 0 0 1
    Updated Jul 28, 2025
  • View makina project
    M

    Babel Group / makina / makina

    Makina is a testing library that provides a DSL for writing PBT models for stateful systems.

    Elixir testing model-based-... program prop... lightweight ...
    5
    Updated Jun 24, 2025
    5 1 0 2
    Updated Jun 24, 2025