PHP port of Less.js
Repository Index
47,133 repositories indexed
169–192 of 216 · Most stars
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Adobe AIR native extension for the Bullet physics simulation library
Compile Sass/SCSS to CSS in Crystal (libsass binding)
OCaml library for combinatorics
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
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
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
WebGPU for D
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
CSP-like channels for common lisp
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
A library that brings all the CSP joy to the Elixir land.
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Pure functions for slices.
- golang
- go
- generics