-
10:44
(UTC -12:00) - https://hris.to
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- CUE
- Clojure
- Common Lisp
- Cuda
- Dart
- Elixir
- Emacs Lisp
- F*
- Frege
- Go
- Go Template
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Mustache
- Nix
- OCaml
- Objective-C++
- Odin
- PHP
- Pascal
- PowerShell
- PureScript
- Python
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Xtend
- Zig
- hoon
Free and Open Source, Distributed, RESTful Search Engine
Ghidra is a software reverse engineering (SRE) framework
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
Open source alternative to Auth0 / Firebase Auth / AWS Cognito
Logstash - transport and process your logs, events, or other data
Style and Grammar Checker for 25+ Languages
A configuration as code language with rich validation and tooling.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
jgrapht / jgrapht
Forked from lingeringsocket/jgraphtMaster repository for the JGraphT project
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
Twitter-scale Mastodon implementation in 100x less code than Twitter wrote to build the equivalent
An Evaluation of Linear Probing Hashtable Algorithms
A modern general programming language implemented in Java. Offering fast array handling while coding in imperative syntax.