- Pennsylvania, Gensokyo
-
17:36
(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
Concise, consistent, and legible badges in SVG and raster format
SVG icons for popular brands
Versatile typeface for code, from code.
Sarasa Gothic / 更纱黑体 / 更紗黑體 / 更紗ゴシック / 사라사 고딕
New generation CMS on top of React, Redux and GraphQL
Generate an image of all your Github contributions
A modern commutative diagram editor for the web.
Create Anime Characters with MakeGirlsMoe
A Discord bot that will keep track of your OwO
Twemoji font in COLR/CPAL layered format
GitHub App that enforces the Developer Certificate of Origin (DCO) on Pull Requests
Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects
A set of icons used in JetBrains' web applications
Typst blog template based on Zola, typst.ts, and apollo.
adding netease music and bilibili support for shields (the README badge generation service)
Functional Reactive Animation Drawing Environment
example haskell project with agda code generation
myDiary app in movie 'Your Name.' (2016), android (& iOS ver.?), based on HBuilder.