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

481–504 of 980 · Most stars

Flexible regular expressions constructor for Golang.

  • builder-pattern
  • constructor
  • go
  • golang

A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

  • go
  • golang
  • type
  • struct

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)

  • compiler
  • compiler-backend
  • compiler-optimization
  • gpu-acceleration

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

  • python
  • typechecking
  • override
  • pep484

First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.

  • clojure
  • pattern-matching
  • functional-programming

A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.

  • header-translation
  • pascal-binding
  • raylib
  • lazarus