rmn30

rmn30's Stars

• mattjgalloway/cgtcalc

  A UK capital gains tax calculator written in Swift

  Language:Swift9416

• DataChi/memdb

  Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.

  Language:C++9013

• struct/isoalloc

  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance

  Language:C36225

• stuartpittaway/emoncmsOctopusSmartMeter

  SmartMeter API integration with Octopus Energy (UK) and emoncms

  Language:Python91

• rsd-devel/rsd

  RSD: RISC-V Out-of-Order Superscalar Processor

  Language:SystemVerilog95797

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq421158

• CTSRD-CHERI/sail-cheri-mips

  CHERI-MIPS model written in Sail

  Language:Coq107

• profound-labs/wallcalendar

  Wallcalendar LaTeX documentclass

  Language:TeX8925

• cookiecutter/cookiecutter-django

  Cookiecutter Django is a framework for jumpstarting production-ready Django projects quickly.

  Language:Python11.9k2.9k

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle590101

• rmn30/gxemul

  Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features

  Language:C++1

• CTSRD-CHERI/gxemul

  Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features

  Language:C++135