- Pennsylvania, Gensokyo
-
11:00
(UTC -05:00) - https://ice1000.org
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Arduino
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Dhall
- Elixir
- Emacs Lisp
- F#
- F*
- Fortran
- Frege
- GDScript
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- Python
- Racket
- Raku
- ReScript
- Red
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Typst
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- Yacc
- Zig
Empowering everyone to build reliable and efficient software.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A markup-based typesetting system that is powerful and easy to learn.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A cross-platform GUI library for Rust, inspired by Elm
A syntax-highlighting pager for git, diff, grep, and blame output
An incremental parsing system for programming tools
Distributed transactional key-value database, originally created to complement TiDB
Yet another cross-platform graphical process/system monitor.
An idiomatic, lean, fast & safe pure Rust implementation of Git
An interpreter for Rust's mid-level intermediate representation
[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.
View disk space usage and delete unwanted data, fast.
A static, type inferred and embeddable language written in Rust.
A utf8 text rope for manipulating and editing large texts.