- Pennsylvania, Gensokyo
-
11:01
(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
⚡ Dynamically generated stats for your github readmes
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 syntax-highlighting pager for git, diff, grep, and blame output
🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
An incremental parsing system for programming tools
Tool for visualizing GitHub profiles
Run compilers interactively from your web browser and interact with the assembly
GIT utilities -- repo summary, repl, changelog population, author commit percentages and more
An uroboros program with 100+ programming languages
Very spicy additions to the Java programming language.
One framework for creating powerful cross-platform games.
Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala
Simple animated GIF screen recorder with an easy to use interface
A text editor in less than 1000 LOC with syntax highlight and search.
A programmer-oriented testing framework for Java —
View disk space usage and delete unwanted data, fast.