A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Repository Index
47,133 repositories indexed
25–48 of 60 · Most stars
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
GoJava - Java bindings for Go packages
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
R package for converting objects to and from YAML
- r
- yaml
- cran
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
R package which integrating R and Julia
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
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Powerful macro (cross) assembler package for several CPUs
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
GObject Introspection D Package Repository
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package
Bindings to libgraphqlparser for R
List manipulation library inspired by Haskell package Data.List
Chuck Norris Programming Language
- esoteric-language
- chuck-norris
- language
- javascript
The repository host gives no description.