#
Lists (25)
Sort Name ascending (A-Z)
agents
For AI Agents2 repositories
chatgpt 🤖
12 repositories
Current 🐺
1 repository
desktop config
1 repository
dev_tools
1 repository
devops
1 repository
Diffusion
1 repository
finops
1 repository
fun
1 repository
generation
4 repositories
GitTools
2 repositories
Joke 🎪
1 repository
Kubework 🛰️
2 repositories
LLM
18 repositories
local utils
1 repository
Logging Solution 📜
1 repository
Nginx
1 repository
pip ⛏️
Work on resolver without downloading1 repository
prep
5 repositories
python
1 repository
rust
2 repositories
solvers
1 repository
StableDiffusion
1 repository
ToDoStuff 🗒️
1 repository
Vector_database
1 repository
- All languages
- Assembly
- Awk
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cython
- DIGITAL Command Language
- Dart
- Dockerfile
- Elm
- Emacs Lisp
- FreeMarker
- Go
- Groovy
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- PHP
- PowerShell
- Python
- R
- ReScript
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- TeX
- TypeScript
- V
- Vim Script
- q
Starred repositories
4
stars
written in OCaml
Clear filter
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Command-line tool for attaching virtual disks to xen virtual machines