Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

313–336 of 2,397 · Most stars

Database Markup Language (DBML), designed to define and document database structures

  • dbx
  • database-schema
  • dbml

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

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

  • based
  • pylance
  • pyright
  • python

Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

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

  • python3
  • runtime-typechecking
  • static-typechecking

A fancy and practical functional tools lib

  • functional-programming
  • utilities
  • python

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

  • cats
  • either
  • fp
  • functional