- Pennsylvania, Gensokyo
-
19:23
(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
Dark Reader Chrome and Firefox extension
Run compilers interactively from your web browser and interact with the assembly
🍼 Plugin driven WYSIWYG markdown editor framework.
Create beautiful diagrams just by typing notation in plain text.
JavaScript SVG parser and renderer on Canvas
A collection of JetBrains Web UI components
A client for QQ and more.
Port of IntelliJ IDEA key bindings for VS Code.
Library for parsing .bib files, used in Bibliography.js 📚
The source of all of the Doki Themes! This enables consistency and maintainability across all platforms!
A vscode extension for Typst local packages management and synchronization.