JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Repository Index
47,133 repositories indexed
1–24 of 37 · Most stars
Development repository for the Triton language and compiler
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
🐍🎮 pygame (the library) is a Free and Open Source python programming language library for making multimedia applications like games built on top of the excellent SDL library. C, Python, Native, OpenGL.
- python
- pygame
- sdl2
- sdl
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
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
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
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
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
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
- common-lisp
- integrated-development-environment
- intellij-plugin
- jetbrains