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

673–696 of 1,367 · Most stars

CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.

  • blazor-webassembly
  • clean-architecture
  • aspire
  • blazor-wasm

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

Embedded JavaScript Engine for R

  • cran
  • libv8
  • r
  • javascript

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

[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