Repositories list

• verilog-model

  Public
  DepTyCheck model for semantically correct SystemVerilog descriptions

  Python

  •

  Apache License 2.0

  •33 forks•66 stars•1111 issues•44 pull requests•Updated Apr 25, 2026Apr 25, 2026

• fat32-model

  Public
  DepTyCheck model for FAT32 filesystem images

  Idris

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• keep_diverse

  Public
  Filter a collection of text files to produce a smaller, more diverse subset

  pythonfilteringncd

  pythonfilteringncd

  SystemVerilog

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 5, 2026Apr 5, 2026

• dtc-utils

  Public
  Idris

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 3, 2025Oct 3, 2025

• dynam-model

  Public
  A model of a dynamically typed language like lua or javascript

  Idris

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2025Jun 18, 2025

• go-model

  Public
  Go model

  Idris

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2025Jun 15, 2025

• goto-model

  Public
  Model of control-flow graphs supporting `goto` operation

  Idris

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 24, 2025May 24, 2025

• idris2-specialise-data

  Public
  Macro functions for automatic data specialisation

  Idris

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 19, 2024Dec 19, 2024