TranslatedTurn lecture slides into source-cited study PDFs and printable cheatsheets. Page-by-page explanations, compact formula sheets, and detailed review booklets, with the page count and the Chinese-English language ratio chosen by you.
Repository Index
47,133 repositories indexed
7,201–7,224 of 11,680 · Most stars
when you want to fire an event no matter how a process exits.
Zero-dependency MCP server for the Moodle Web Service API — read-only course, assignment, quiz, deadline and file tools for Claude, Cursor and any MCP client. Actively maintained · v1.4.0 · 10 tools · docs in 10 languages.
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Rolisteam is a virtual tabletop. It helps you to manage tabletop role playing games with remote friends/players. It provides many features to share maps, pictures, dice roller, manage background music and much more. The main git repository is available here: [https://invent.kde.org/kde/rolisteam].
- rpg
- jdr
- rpg-tool
- c-plus-plus
Implementation of RAFT consensus in .NET core
- raft-consensus-algorithm
- raft
- raft-protocol
- raft-algorithm
Convert a number to an approximated text expression: from '0.23' to 'less than a quarter'.
- natural-language-generation
- clojure
- number-to-words
- number-to-text
🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥
- javascript
- validation
- validation-library
- validators
Presentation materials for C++Now 2015
Docker: Printable Quick Reference
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
HTTP mock for Golang: record and replay HTTP/HTTPS interactions for offline testing
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.
FFmpeg customized for broadcast and professional usage
This project shows how to integrate D3.js with Angular 2.
A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors
- code-generation
- dependency-injection
- framework
- generics
gonids is a library to parse IDS rules, with a focus primarily on Suricata rule compatibility. There is a discussion forum available that you can join on Google Groups: https://groups.google.com/forum/#!topic/gonids/
- suricata
- parse
- security-tools
- network-security
Word-generator based on per-position markov-chains
Automated S-expression conversion
TaskBunny is a background processing application written in Elixir and uses RabbitMQ as a messaging backend
- rabbitmq
- elixir
- workers
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
WebUI for query engines: Hive and Presto