The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
Repository Index
47,133 repositories indexed
481–504 of 636 · Most stars
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Crystal binding for LevelDB
- crystal
- leveldb
The completeness of Djula meets the usability of Eco.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
Common Interface to ISO Prolog implementations from Common Lisp
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Compile Sass/SCSS to CSS in Crystal (libsass binding)
OCaml library for combinatorics
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
Run functions in parallel :comet:
- go
- concurrency
- goroutines
Common Lisp bindings for the OpenAL audio library.
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
The repository host gives no description.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
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
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
List manipulation library inspired by Haskell package Data.List
Common tools for projects
- cross-platform
- pascal-language
- library
- json