Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
- bun
- bundler
- javascript
- javascriptcore
Repository Index
47,133 repositories indexed
1–24 of 51 · Most stars
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Development repository for the Triton language and compiler
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
📦✨ your favorite rust -> wasm workflow tool!
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
The semver parser for node (the one npm uses)
- npm-cli
Microsoft Fluent UI Blazor components library. For use with ASP.NET Core Blazor applications
- components
- design-systems
- web-components
- web-standards
AboutLibraries automatically collects all dependencies and licenses of any gradle project (Kotlin MultiPlatform), and provides easy to integrate UI components for Android and Compose Multiplatform environments
- aboutlibraries
- mikepenz
- fragments
- android
eBPF Observability - Distributed Tracing and Profiling
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
New generation PostgreSQL database adapter for the Python programming language
- database
- development
- python
- postgresql
Design and development guides
- awesome
- styleguides
- programming-languages
- guidelines
Open-source framework for native apps from one Java codebase, with a custom-rendered UI you control across iOS, Android, desktop, web, and watches.
- cross-platform
- java
- kotlin
- android
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Open-source C++ game engine with Lua for 2D and 3D games across mobile, desktop, WebAssembly, and Xbox (UWP).
- game-engine
- opengl
- metal
- cocos2d-x
Wasmer SDK: Run anything, anywhere suing WebAssembly-based sandboxes
- webassembly
- nodejs
- npm-package
- wasi
A Leiningen plugin for a superior development environment
DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS
- desktop
- desktop-application-sdk
- ruby
- jruby
Rapid YAML - a library to parse and emit YAML, and do it fast.
- yaml
- json
- parser
- emitter
Golang implemented Redis RDB parser for secondary development and memory analysis
Free Bootstrap 5 components for ASP.NET Blazor + optional enterprise-level stack for Blazor development (gRPC code-first, layered architecture, localization, auth, ...)
- blazor
- wasm
- webassembly
- asp-net
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment