Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Repository Index
74,362 visible repositories in the index
361–384 of 615 · Most stars
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Bindings to connect lua with Steam API
- game-development
- love2d
- lua
- steam-api
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A collection of sweet.js macros that implement ES6 features for ES5
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
A Modern and Flexible Web Client for R
Complete ECMAScript Fifth Edition Implemention in Object Pascal
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
The reference implementation of orderly: a schema language for JSON.
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
A formalization of geometry in Coq based on Tarski's axiom system
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
An implementation of React hooks on top of purescript-react-basic
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