Write HTML in plain Crystal
Repository Index
47,133 repositories indexed
697–720 of 1,026 · Most stars
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
Filter promises concurrently
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
Fast Ruby FFI string edit distance algorithms
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Sciter component for Delphi
Salesforce Formula Parser implemented in ES2017. Live demo at
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode