Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
80,339 visible repositories in the index
1,465–1,488 of 1,985 · Most stars
Vulkan compute for people
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
DEPRECATED -> Checkout nishanthvijayan/CoderCalendar-Extensions
- codechef
- hackerrank
- topcoder
- chrome-extension
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Self-improving code for any git repo: give it a measurable goal, a coding agent (Claude Code or Aider) proposes changes, the kernel scores them, keeps winners and rolls back failures. Open-source AlphaEvolve / FunSearch-style evolution loop, sandboxed, with an auditable ledger.
- agent-harness
- ai-agents
- aider
- alphaevolve
:recycle: Unidirectional State Management Architecture for Swift - Inspired by Vuex and Flux
- swift
- vuex
- flux
- redux
Programmable SSH frontend
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
Practical generic programming for F#
- generic-programming
- fsharp
fp-go is a collection of Functional Programming helpers powered by Golang 1.18+ generics.
- golang
- go
- functional-programming
- currying
Common combinators for Elixir
- pointfree
- curried-functions
- elixir
- functional-languages
An OCaml kernel for Jupyter (IPython) notebook
- ocaml
- functional-programming
- jupyter-kernels
- machine-learning
Pure Declarative Programming in Swift, Among Other Things
Prototyping kernel development work outside mainline
- kernel-modules
- kernel
- xdp
- ebpf-programs
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
TranslatedPacket monster (っ‘-’)╮=͟͟͞͞◒ ヽ( '-'ヽ) TUI tool for sending packets of arbitrary input and monitoring packets on any network interfaces (default: eth0). Windows/macOS/Linux
- packet-generator
- packet-analyzer
- network
- networking
a socket mock framework - for all kinds of socket animals, web-clients included
A Rust library for constructing, sending, capturing, and decoding network packets
- libpcap
- network-programming
- networking
- packet-crafting
C# Toolkit for Code Generation (T4 alternative!)
- codegenerator
- codegeneration
- csharp
- template-engine
🚀AutoRuns is a PowerShell module that will help do live incident response and enumerate autoruns artifacts that may be used by legitimate programs as well as malware to achieve persistence.
A Swift Multiplatform Single-threaded Non-blocking Web and Networking Framework
Visual D - Visual Studio extension for the D programming language
TranslatedModern Reactive CQRS Architecture Microservice development framework based on DDD and EventSourcing
- cqrs
- domain-driven-design
- event-driven
- event-sourcing