Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Repository Index
56,638 visible repositories in the index
433–456 of 556 · Most stars
Library for Classical Coq
Perl, but fluffy like a cat!
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
Delphi binding for Lua 5.1 language
A Scala Native wrapper of the SQLite C library
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
OCaml library for combinatorics
scikit-learn for OCaml
nanomsg bindings for ocaml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
IO for Gallina
- coq
- ocaml
- extraction
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Python bindings for hashcat
CSP-like channels for common lisp
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
A compiler for an Ada-like language
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Fast HTML Parser for FPC and Delphi
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi