Reimplementation of Natural Number Game in Coq
Repository Index
47,133 repositories indexed
793–814 of 814 · Most stars
A lightweight Python package for teaching computational methods through art history. Extract and analyze artist-specific works from WikiArt with built-in visualizations. Designed for digital humanities and computational design courses. Features genre/style analysis, matplotlib integration, and pedagogical clarity over algorithmic complexity.
- art-history
- color-analysis
- color-extraction
- color-palette
A tiny, zero-dependency Go library that validates UUIDs against standard RFC 4122 formatting, converts UUIDv7() into timestamps by ensuring accuracy and light compute.
- go
- timestamp
- uuid
- good-first-issue
Interactive web playground for various Computational Geometry algorithms and topics using p5.js
An asynchronous Node.js binding for librsvg
The project alpaka has moved to https://github.com/alpaka-group/alpaka
The project alpaka has moved to https://github.com/alpaka-group/cupla
A full-text search engine running on Golem Network.
- golem
- golem-network
- fulltext-search
- fulltextsearch
Simple yet powerful live data computation framework. C++ port of Scramjet framework.
- event-stream
- reactive-programming
- stream
- data-stream
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
- arithmetic
- biginteger
- biginteger-library
- fractional
Simple library for MPU6050 on ESP8266 with micropython
:computer: My dotfiles and personal post-install setup
The module is an index search development accelerator that allows developers to declare computed search fields on an index that can capture and store targeted field values of items within a scope as well as the field values of items based on specific templates that are part of its presentation.
Q# Bell State Program
- quantum-computing
- qsharp
A browser workspace connecting research projects, apps, and collaborators
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.
Sunrise and sunset time computation for MicroPython
MicroPython library for reading from MPU-6050 accelerometer and gyroscope modules.
The repository host gives no description.
Trivial implementation of fletcher_16 sum computation algorithm.
Ember Computed Getter Codemod
Quantum Computer coding exercises