Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Circom
- Clojure
- Common Lisp
- Coq
- Erlang
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- M4
- MATLAB
- Makefile
- Mathematica
- MoonBit
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- V
- Vim Script
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Desktop app to manage markdown knowledge bases
The agent that grows with you
The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS
A library for calling C functions from Go without Cgo
Your personal engine for running open source models locally. Use Go for hardware accelerated local inference with llama.cpp and whisper.cpp directly integrated into your Go applications. Kronk prov…
The docs of MoonBit programming language
Redis like cache implementation from scratch in Golang
The world’s most powerful template engine and Go embeddable interpreter
Circom's standard library, rewritten more clearly
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…
A library for lattice-based multiparty homomorphic encryption in Go
CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, please see the project website. http://cado-nfs.gforge.inria.fr
Kerberos manipulation library in pure Python
💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving
Code repository for the paper "MrT5: Dynamic Token Merging for Efficient Byte-level Language Models."
matchaxnb / gokrb5
Forked from jcmturner/gokrb5Pure Go Kerberos library for clients and services
Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
Open-source Pricing and Billing Infrastructure 🚀 Subscription management, Invoicing, Pricing, Usage-based billing, Cost limiting, Grandfathering, Experiments, Revenue analytics & Actionable insights
Categorica: a pure and applied category theory framework for the Wolfram Language
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …