Ada semantic analysis library.
Repository Index
61,275 visible repositories in the index
1,441–1,464 of 2,625 · Most stars
A Clojure 3D Game Engine (Wrapper), Powered by jMonkeyEngine
- jmonkeyengine
- game-development
- game-engine-3d
- clojure
A library for formalizing Haskell types and functions in Coq
Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine
Multi-Paradigm Pipeline Implementation
Haskell bindings for Vulkan
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
A fast ISO8601 date parser for Go
- go
- golang
- parser
- iso8601
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
Common Lisp port of the Django templating language
- template-engine
- html-template
- lisp
- common-lisp
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
R package for converting objects to and from YAML
- r
- yaml
- cran
A fast regular expression compiler in Common Lisp
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
A Lean formalization of the Classification of Finite Simple Groups
Abstract Syntax Tree for parsing schema.prisma files
Interfacing Qt/QML with OCaml. Formely known as lablqt
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
Direct3D9 wrapper for Go.
Set up a modern Yew web app by running one command.
- yew
- create-yew-app
- webassembly
- rust