Dafny is a verification-aware programming language
- programming-language
- verification
Repository Index
78,351 visible repositories in the index
169–192 of 968 · Most stars
libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.
- async
- c
- epoll
- io-uring
🔱 Javascript's God Mode. No VM. No Bytecode. No GC. Just native binaries.
- js
- arduino
- raspberry
- compilation
SIMD, SWAR & GPU kernels for strings: search, hashing, sorting, edit distances, UTF-8 segmentation & ciphers for C, C++, CUDA, Python, Rust, Go, Swift, JS, C# & Java 🦖
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
- garbage-collection
- memory-management
- memory-leak-detection
- c
Playwright for Go a browser automation library to control Chromium, Firefox and WebKit with a single API.
- playwright
- golang
- selenium
- browser-automation
🧵 Make web workers & worker threads as simple as a function call.
- javascript
- nodejs
- thread-pool
- web-worker
Pampy: The Pattern Matching for Python you always dreamed of.
- python
- python3
- pattern-matching
- functional
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
A fancy and practical functional tools lib
- functional-programming
- utilities
- python
WebAssembly specification, reference interpreter, and test suite.
- specification
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
An Open Source Implementation of the Actor Model in C++
- actor-model
- caf
- pattern-matching
- actors
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
A solid, fast Promises/A+ and when() implementation, plus other async goodies.
jank is the native Clojure dialect with seamless C++ interop.
Skulpt is a Javascript implementation of the Python programming language
Generic programming for Scala
- scala
- typelevel
- functional-programming
- generic-programming
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
a command line tool for URL parsing and manipulation.
- command-line-tool
- manipulation
- parsing
- url
Functional programming in Python: implementation of missing features to enjoy FP
Compile JSON Schema to TypeScript type declarations
- typescript
- json-schema