A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
Repository Index
70,234 visible repositories in the index
97–120 of 193 · Most stars
A Java DSL (Builder) for the Cypher Query Language
Clojure's data structures modified for use outside of Clojure
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Low-Level threads(pthreads or WIN32 threads) for Lua.
Golang library for querying and parsing OFX
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
A library of mechanised undecidability proofs in the Coq proof assistant.
A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!
- gamedev
- raylib
- raylib-swift
- swift
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Canon SDK for Java
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Regex based Python script that converts arbitrary gdscript code to C#
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
DSFML is a D binding of SFML
- d
- dsfml
- dlang
- sfml
Powerful macro (cross) assembler package for several CPUs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq