Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

7,153–7,176 of 11,680 · Most stars

Drop your mods folder, a Prism or MultiMC instance or an .mrpack on Hopper and it answers what Horizon already does, what has a port and what is not there yet, then installs the rest.

  • horizon
  • minecraft-mods
  • modpack
  • modrinth

[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

A surprisingly configurable convention-based approach to managing your application's custom configuration settings.

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

  • raft
  • verdi
  • coq
  • proof

Runtime type checking for JS with Hindley Milner signatures

  • hindley-milner
  • type-checking
  • functional-programming
  • invariant

Programmatic modification and evaluation of software

  • software-engineering
  • source-code
  • evolutionary-computation
  • program-synthesis

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

Sippy B2BUA is a RFC3261-compliant Session Initiation Protocol (SIP) stack and Back-to-back user agent (B2BUA) server software.

Actively maintained fork of ahmedkhalf/project.nvim. Detects and chdirs to the project root, with its own UI, provides lualine component, supports oil.nvim, includes pickers for telescope, snacks, fzf-lua, and picker.nvim.