Math & CS awesome List, distinguished by proof and logic technique
Repository Index
62,771 visible repositories in the index
985–1,008 of 1,978 · Most stars
Monads and other dark magic for Elixir
- elixir
- type-class
- functor
- monad
There is no official XScreenSaver GitHub repository.
This repository is designed to create an enterprise Blazor Server application that follows the principles of Clean Architecture and implements Blazor Clean Architecture best practices for scalability, maintainability, and testability.
- clean-architecture
- best-practices
- blazor-boilerplate
- blazor-server-template
A repository of namespaced, composable shell (bash, sh and dash) function libraries. Takes aware the pain of shell scripting, making it robust and reusable. Includes secure curl usage, JSON, XML and Debian control file parsers, dependency documentation via attributes, and more. Batteries ARE included.
IT 140 Module One: Setup Tasks repository. This repo provides step-by-step instructions and commands to install the course IDE needed to complete all subsequent course activities.
SirixDB is an an embeddable, bitemporal, append-only database system and event store, storing immutable lightweight snapshots. It keeps the full history of each resource. Every commit stores a space-efficient snapshot through structural sharing. It is log-structured and never overwrites data. SirixDB uses a novel page-level versioning approach.
- xquery
- java
- temporal-data
- storage
Toolbox for quantitative trajectory evaluation of VO/VIO
GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs
- apache-spark
- big-data
- connected-components
- dataframe
Fixed <thead>. Doesn't need any custom css/html. Does what position:sticky can't
- table
- floatthead
- scrolling
- sticky
WeeWX code repository
- weather
- python
- weewx
- raspberry-pi
NVIDIA Kubernetes Engine (NVKE). A management plane for GPU Kubernetes on bare metal.
- bare-metal
- cluster-api
- gpu
- kubernetes
Autodesk Inventor 2026 Professional Desktop Installer with Pre-Configured Full Feature Set
- autodesk-inventor-pro
- autodesk-inventor-pro-pc
- automation
- developer-tools
Official repository for gevent-socketio
TranslatedDesktop tool for Sony A7C II (ILCE-7CM2) firmware 2.01: one-click FL2/FL3, custom Creative Looks (LUT/DCP), electronic shutter sound, Vertical Display and factory restore. Windows/macOS.
directory-opus: complete standalone desktop setup with all features pre-enabled, ready to run
- automation
- desktop
- developer-tools
- directory-opus
Open-source Windows game resource manager. Suppresses background processes, gives games exclusive CPU cores, steers device interrupts off game cores, applies per-game GPU driver, memory and power policies, and restores every change after play. No injection, no telemetry. GPL-3.0.
- cpu-affinity
- csharp
- dotnet
- frame-time
A ready-to-use, layered ASP.NET Core 10 MVC solution template with Identity, EF Core, the repository pattern, Mapster mappings, dependency injection, tests and StyleCop warnings fixed.
- aspnet-core
- aspnetcore
- asp-net-core
- template
Sliding Menu for iOS (Left and Right menus). Multiple storyboards and XIBs support.
Repository for Timestral, the time-series foundation model by Mistral AI
A repository of gate-level simulators and tools for the original Game Boy.
Official Repository for the Uni-Mol Series Methods
- molecular-modeling
- pre-trained-model
- pretraining
- deep-learning
Self-hosted outdoor activity tracker :bicyclist: [mirror of codeberg repository: https://codeberg.org/FitTrackee/FitTrackee]
- self-hosted
- activity-tracker
- outdoor-activities
- workout-tracker
PostgreSQL Unit Testing Suite
- pgtap
- pgsql
- psql
- tap