Repositories list

• lever-framework

  Public
  Rust

  •

  MIT License

  •0•2•0•0•Updated Nov 13, 2024Nov 13, 2024

• tmt

  Public
  The Maroon Theory -- TMT (Example app developed with Spring Boot for CAS 735)

  Java

  •

  MIT License

  •1•2•0•0•Updated Oct 10, 2024Oct 10, 2024

• p4-lsp

  Public
  Rust

  •

  MIT License

  •2•16•1•2•Updated Sep 17, 2024Sep 17, 2024

• jpipe

  Public
  Justification diagrams made easier!

  languagecompilerpipeline+ 4continuous-integrationjustificationcontinuous-deploymentmodelling

  Java

  •

  MIT License

  •1•10•22•0•Updated Sep 15, 2024Sep 15, 2024

• nanonet

  Public
  Virtual networks testing framework

  Python

  •8•0•0•0•Updated Sep 10, 2024Sep 10, 2024

• homebrew-mcscert

  Public
  Homebrew Tap for McSCert formulaes

  Ruby

  •

  MIT License

  •0•0•0•0•Updated Jul 21, 2024Jul 21, 2024

• jpipe-demo

  Public
  Shell

  •0•0•0•0•Updated Jun 4, 2024Jun 4, 2024

• nlp-stories

  Public
  Python

  •0•2•0•0•Updated Mar 20, 2024Mar 20, 2024

• island

  Public
  Island is a programming game designed as a support for Software Engineering classes

  Scala

  •

  GNU Lesser General Public License v3.0

  •5•15•9•2•Updated Mar 11, 2024Mar 11, 2024

• qualified-user-stories

  Public
  Python

  •

  Creative Commons Zero v1.0 Universal

  •0•1•0•0•Updated Mar 9, 2024Mar 9, 2024

• gpt-stories

  Public
  Python

  •

  MIT License

  •0•2•0•0•Updated Mar 9, 2024Mar 9, 2024

• tree-sitter-p4

  Public
  JavaScript

  •1•1•0•0•Updated Jan 30, 2024Jan 30, 2024

• JustificationDiagram

  Public
  This prototype generates a justification diagram from a text file.

  Java

  •

  MIT License

  •4•0•0•2•Updated Dec 5, 2023Dec 5, 2023

• lever-framework-cutter

  Public
  TypeScript

  •0•2•0•0•Updated Nov 13, 2023Nov 13, 2023

• p4-lsp-vscode

  Public
  TypeScript

  •

  MIT License

  •0•2•0•0•Updated Aug 29, 2023Aug 29, 2023

• git-merge-adv

  Public
  New merging tool for Python and Java source code

  pythongitjava+ 4tree-sitterastcstgumtree

  Python

  •

  MIT License

  •0•3•0•0•Updated Aug 25, 2023Aug 25, 2023

• petr4

  Public
  Petr4: Formal Semantics for P4

  P4

  •

  Apache License 2.0

  •21•0•0•0•Updated Aug 22, 2023Aug 22, 2023

• ace-sklearn-crfsuite

  Public
  scikit-learn inspired API for CRFsuite

  Jupyter Notebook

  •

  Other

  •215•1•0•0•Updated Jul 10, 2023Jul 10, 2023

• spack

  Public
  A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

  Python

  •

  Other

  •2.3k•0•0•0•Updated Jul 7, 2023Jul 7, 2023

• p4analyzer

  Public
  A Language Server Protocol (LSP) compliant analyzer for the P4 language

  Rust

  •

  Apache License 2.0

  •3•0•0•0•Updated May 24, 2023May 24, 2023

• devops-at-models

  Public
  HTML

  •

  MIT License

  •1•0•0•12•Updated Mar 4, 2023Mar 4, 2023

• BellairsBookStore

  Public
  BookStore benchmark application

  Java

  •1•0•0•0•Updated Jan 24, 2023Jan 24, 2023

• cordova-android-sms-reader

  Public
  Java

  •0•0•0•12•Updated Jan 6, 2023Jan 6, 2023

• anaximander-microservices

  Public
  JavaScript

  •0•0•0•6•Updated Dec 26, 2022Dec 26, 2022

• champlain

  Public
  HTML

  •

  MIT License

  •1•0•0•10•Updated Dec 11, 2022Dec 11, 2022

• projet_mermaid

  Public
  Java

  •0•0•0•2•Updated Jul 7, 2022Jul 7, 2022

• ace

  Public
  Scala

  •0•0•0•4•Updated Dec 14, 2021Dec 14, 2021

• backlog-modelling

  Public
  Python

  •0•0•0•0•Updated Oct 10, 2021Oct 10, 2021

• ace-design.github.io

  Public
  Website hosting

  HTML

  •

  Other

  •0•0•0•0•Updated Sep 7, 2020Sep 7, 2020

• splc2020-challenge-companion

  Public
  R

  •0•0•0•0•Updated Jun 22, 2020Jun 22, 2020