Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.
API method:
GET /api/packages?search=hello&page=1&limit=20
where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned
in response headers.
If you'd like to join our channel search send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.
The RAR decompression program. It is nonfree (as in freedom), but open-source.
The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained by applying formal methods to source programs.
The main result of the project is the CompCert C verified compiler, a high-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.
View and Manage analytics, logs, and access control gateways for a Datomic Cloud instance on AWS.
OmniSharp is a .NET development platform based on Roslyn workspaces. It provides project dependencies and C# language services to various IDEs and plugins.
.NET is a cross-platform developer platform for building different types of applications.
.NET is a cross-platform developer platform for building different types of applications.
Dyalog APL is de facto the most widely deployed dialect of APL in the wild. The interpreter boasts world-class performance benchmarks, excellent tooling integration, and support for modern APL features.
Dyalog APL is de facto the most widely deployed dialect of APL in the wild. The interpreter boasts world-class performance benchmarks, excellent tooling integration, and support for modern APL features.
VSCodium is a community-driven, freely-licensed binary distribution of Microsoft’s editor VSCode.
nodejs headers for electron.
The Electron framework lets you write cross-platform desktop applications using JavaScript, HTML and CSS. It is based on Node.js and Chromium and is used by the Atom editor and many other apps.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
nodejs headers for electron.
The Electron framework lets you write cross-platform desktop applications using JavaScript, HTML and CSS. It is based on Node.js and Chromium and is used by the Atom editor and many other apps.
nodejs headers for electron.
The Electron framework lets you write cross-platform desktop applications using JavaScript, HTML and CSS. It is based on Node.js and Chromium and is used by the Atom editor and many other apps.
The Electron framework lets you write cross-platform desktop applications using JavaScript, HTML and CSS. It is based on Node.js and Chromium and is used by the Atom editor and many other apps.
nodejs headers for electron.