Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Repository Index
66,263 visible repositories in the index
649–672 of 707 · Most stars
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
JavaScript SDK for Subsocial blockchain.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Install awesome community PowerToys Run plugins via this plugin ⬇️🔌📦
- microsoft-powertoys
- plugin
- plugins
- powertoys
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
MageForge is a Magento 2 module designed to assist frontend developers in streamlining their workflow and enhancing productivity.
- developer-tools
- development
- magento2
- build-automation
Phobos candidate JSON implementation.
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Opentrain repository for community data analysis of Israel Railways train delay data.
Sokoban (in Coq) [maintainer=@erikmd]
An open source event management platform focused on Hackathons
- event
- event-management-platform
- hackathon
- hackathons
Build crystal projects using nix.
- nix
- crystal-lang
A testing library that allows "time travel," "freezing time," and "time acceleration". Inspired by the ruby-timecop library.
- testing
- timecop
- crystal
These dotnet new templates simplify creating PowerToys Run plugin projects and solutions.
- microsoft-powertoys
- plugin
- plugins
- powertoys
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Ready to go Neovim template 🏗️✈️
- community
- neovim
- plugin
- template
A Quarto blog for Bioconductor community
- community
- blog
- bioconductor
- quarto
HomeHub – PHP-basierte Visualisierung für homematicIP CCU
- ccu
- homematic
- homematicip
- php
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration