The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Repository Index
82,588 visible repositories in the index
673–696 of 841 · Most stars
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Improved Go Syntax (transpiler)
- go
- golang
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
A Javascript to PICO-8 Lua transpiler
- javascript
- pico-8
- lua
- transpiler
Yet another routes handling utility on top of Hunchentoot
A rebar3 port compiler
Swig template compiler for Gulp
:droplet: Publish/Subscribe utility module
- elixir
- pubsub
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
generates luajit ffi bindings from c headers
- ffi
- luajit
- cparser
- binding-generator
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
a tool for handling file uploads simple
- file
- upload
- multipart
- http
A Lexical Analyzer Generator
- lexer
- lex
- lexical-analysis
- common-lisp
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
Less CSS compiler written in Java
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Parse placeholder and wildcard text commands
- parsing
- go
- golang
- text
Node module that is bridged with the Java Hapi HL7 library.
- hl7-parsing
- hl7-message
- hit
- healthcare