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
57,138 visible repositories in the index
265–288 of 563 · Most stars
The Frenetic Programming Language and Runtime System
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
C Header Translator for Delphi
- header-translators
- clang-parsing-process
- clang
- delphi
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
Elm architecture and (V)DOM for OCaml
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
a rust compiler daemon for up to 25x faster cargo builds
a network packet capture compiler
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
An elixir haml parser
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
Extism Go SDK - easily run WebAssembly modules in your Go applications
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Modern cryptography (libsodium/NaCl) for Clojure
SDL2 module for Deno
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Easy OCaml bindings for Javascript libraries
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.