Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
Repository Index
70,234 visible repositories in the index
145–168 of 250 · Most stars
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A realtime visual programming language for interactive media.
Post-build IL optimizer and intermediate representation for .NET programs
- compiler
- csharp
- dotnet
- hecktoberfest
A super simple Lodash like utility library with essential functions that empowers the development in Go
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
A Neovim plugin for readable concurrency with coroutines.
- coroutines
- neovim-plugin
R package which integrating R and Julia
Portable C Compiler sources
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Dynamic library delivery tools for SBCL.
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Go bindings for FANN, library for artificial neural networks
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
- swift
- cli
- formatter
- code-generator
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
Official SDL2 & SDL3 bindings for V
- bindings
- module
- sdl
- sdl2
Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings
- cgo-free
- ffi
- go
- golang