feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
Repository Index
47,133 repositories indexed
49–72 of 99 · Most stars
Most comprehensive OpenSSL module in the Lua universe.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Library for lexing and parsing D source code
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
OCaml bindings to MariaDB, supporting the nonblocking API
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
The universal ISSR server compatible with <your-favorite-programming-language>