A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Repository Index
83,087 visible repositories in the index
673–696 of 1,503 · Most stars
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Concurrency library for C (coroutines)
Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expressions.
- expression-tree
- dryioc
- delegate
- il-optimizations
TensorFlow for R
CEF4Delphi is an open source project to embed Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows, Linux and MacOS.
- delphi
- cef
- chromium
- browser
Deno to npm package build tool.
win32 ole implementation for golang
scanf for modern C++
- c-plus-plus
- cpp
- scanf
- input
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
Typed, correct GraphQL requests and responses in Rust
- graphql
- rust
- wasm
- webassembly
.NET bindings for Direct3D12, Direct3D11, WIC, Direct2D1, XInput, XAudio, X3DAudio, DXC, Direct3D9 and DirectInput.
- direct3d
- direct3d11
- direct3d12
- graphics
A Java library for capturing, crafting, and sending packets.
- capture-packets
- winpcap
- libpcap
- sending-packets
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
A Leiningen plugin for a superior development environment
Official vibe.d development
- async
- concurrency
- networking
- web
Functional, persistent, off-heap, high performance data structure
Go bindings for OpenGL (generated via glow)
🎤 a simple audio programming language implemented in JS
- livecoding
- programming-language
- audio
- javascript
A functional programming library for TypeScript/JavaScript
- fp
- typescript
- lazy
- concurrency
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
- libsodium
- javascript
- cryptography
- crypto
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Iteration primitives using generators
Platform independent low-level JIT compiler