An implementation of React hooks on top of purescript-react-basic
Repository Index
47,133 repositories indexed
289–312 of 554 · Most stars
a re-implementation of the asyncio mainloop on top of Trio
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Extism Go SDK - easily run WebAssembly modules in your Go applications
Yaml parser for Elixir based on native Erlang implementation
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Helper modules for OTP applications
- elixir
- otp-applications
- otp
Go cross-platform OpenGL bindings.
Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine
Multi-Paradigm Pipeline Implementation
Haskell bindings for Vulkan
Common Lisp port of the Django templating language
- template-engine
- html-template
- lisp
- common-lisp
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
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
A Lean formalization of the Classification of Finite Simple Groups