Lists (1)
Sort Name ascending (A-Z)
- All languages
- ATS
- Agda
- Assembly
- AutoHotkey
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dhall
- Dockerfile
- Emacs Lisp
- F#
- Go
- Graphviz (DOT)
- Groovy
- HTML
- Handlebars
- Haskell
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PowerShell
- Prolog
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- V
- VBA
- Visual Basic
- Vue
- WebAssembly
Starred repositories
auひかりでHGWの代わりに802.1x認証を行い、HGWを使用せずに接続します。
A collection of settings to make Claude Code more useful.
DuckDB is an analytical in-process SQL database management system
Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
The Zenburn colour theme ported to Emacs
Theorem Proving in Lean 4 日本語訳
Command-line copy/paste utilities for Wayland
A safe Rust crate for working with the Wayland clipboard.
AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.
bazaar to git conversion and import of Gnuclad. Gnuclad tries to help the environment by creating trees. It's primary use will be generating cladogram trees for the Linux and BSD distributions time…
日本語LLMまとめ - Overview of Japanese LLMs