fjouault

fjouault's Stars

• isovector/certainty-by-construction

  Source material for Certainty by Construction

  Language:TeX4012

• fjouault/KM3-logic

  Language:Prolog2

• ESEO-Tech/AnimUML

  Language:JavaScript71

• plug-obp/z2mc-js

  Language:JavaScript2

• sekigon-gonnoc/Pico-PIO-USB

  USB host/device implementation using PIO of raspberry pi pico (RP2040).

  Language:C1.4k154

• meremST/interactive-lp

  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

  Language:Standard ML1

• Natooz/MidiTok

  MIDI / symbolic music tokenizers for Deep Learning models 🎶

  Language:Python74391

• TransformationToolContest/ttc2018liveContest

  The repository for the TTC 2018 Live Contest

  Language:Java415

• np/ling

  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

  Language:Haskell10710