luiscruz / course_sustainableSEView external linksLinks
Website of the course Sustainable Software Engineering
☆20Updated this week
Alternatives and similar repositories for course_sustainableSE
Users that are interested in course_sustainableSE are comparing it to the libraries listed below
Sorting:
- This Complete Guide Is About To Help Better Understand The Importance of Monitoring Software Energy Consumption & How To Do It.☆17Mar 19, 2025Updated 10 months ago
- Green Software Tool Landscape provided by the German organization Bundesverband Green Software.☆20Updated this week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- 🌱 A tool for measuring the power consumption and carbon footprint of your software.☆38Feb 1, 2026Updated 2 weeks ago
- It contains practices and examples on doing green development 🌳 using go and tools to reduce carbon footprint☆14Feb 6, 2026Updated last week
- Tools overview for measuring tools around software energy and CO2 consumption☆45May 21, 2024Updated last year
- How much is the footprint of a piece of software? This script scans the process statistics for the appearance of a given command name and…☆12Nov 16, 2023Updated 2 years ago
- Simulator for a superscalar processor with dynamic scheduling and branch prediction☆15Nov 23, 2018Updated 7 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- The hardware implementation of UDP in Bluespec SystemVerilog☆14Jun 3, 2024Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- My second attempt at a RISC-V CPU with learnings form my previous attempt.☆10Apr 29, 2024Updated last year
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆11Jul 9, 2025Updated 7 months ago
- Powermetrics for Linux☆52Dec 10, 2024Updated last year
- ☆10Sep 4, 2017Updated 8 years ago
- Compiler☆14Jun 29, 2024Updated last year
- HeliosXCore is a Superscalar Out-of-order RISC-V Processor Core.☆10Mar 8, 2024Updated last year
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- jupyter / jupyterlite kernel for Haskell powered by WebAssembly☆57Jan 19, 2026Updated 3 weeks ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Aug 16, 2023Updated 2 years ago
- Build edk2 development and debugging environment under win10, for recording some notes and writing self tools.☆13Aug 14, 2022Updated 3 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 10, 2026Updated last week
- Pipelined 64-bit RISC-V core☆15Mar 7, 2024Updated last year
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated 10 months ago
- DIY EMG VR Controller for Oculus Quest 2: low-cost, user-friendly electromyography-based control system with Arduino, MyoWare sensors, an…☆14Mar 30, 2023Updated 2 years ago
- ☆14Jan 26, 2026Updated 3 weeks ago
- 无需配置特定环境，在 Docker 容器环境中编译 linux-2.6.26，并在宿主机的 qemu 中运行☆13Jul 16, 2024Updated last year
- Digital Research Toolkit for Linguists course materials☆12Jul 23, 2025Updated 6 months ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated last week
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- A minimal imgui project template☆10Feb 6, 2023Updated 3 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Apr 17, 2024Updated last year