Sign in

Repository Index

87,573 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

121–144 of 810 · Most stars

Promises is a modern framework that provides a synchronization construct for Swift and Objective-C.

  • promises
  • futures
  • objective-c
  • swift

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

  • typescript
  • type-level-programming

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

  • rust
  • linux
  • thread-per-core
  • iouring

Bicep is a declarative language for describing and deploying Azure resources

  • arm-templates
  • arm-json
  • bicep

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

  • based
  • pylance
  • pyright
  • python

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

Unbearably fast near-real-time pure-Python runtime-static type-checker.

  • python3
  • runtime-typechecking
  • static-typechecking

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

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

  • flow-based-programming
  • visual-programming
  • vscode
  • visual-programming-editor

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

  • cats
  • either
  • fp
  • functional