- Pennsylvania, Gensokyo
-
12:46
(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
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A wrapper that does winetricks things for Proton enabled games, requires Winetricks.
UDEV Gothic は、ユニバーサルデザインフォントのBIZ UDゴシックと、 開発者向けフォントの JetBrains Mono を合成した、プログラミング向けフォントです。
A .DS_Store file disclosure exploit. It parses .DS_Store file and downloads files recursively.
Customizable LaTeX bot for Telegram messenger
The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)
Text-Guided Synthesis of Scientific Vector Graphics with TikZ
boism-org / boism_org
Forked from ASKBOT/askbot-develThe website code
Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
(Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.
Successor project: https://github.com/thautwarm/Quick-Backend
Distributions of Agda executable compiled into WebAssembly.
Render math expression with typst markup language in Telegram
build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.
Using nagadomi's detector as segmentation tool, CNN as classification tool, It automatically crops trained anime headshots from video frames