GitHub / vain0x 128 Repositories
Interested in compilers and language server protocol. Any reaction is welcome
vain0x/DotNetKit.Wpf.AutoCompleteComboBox
ComboBox with filtering (auto-complete) for WPF
Language: C# - Size: 1.25 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 77 - Forks: 25
vain0x/blog
My blog
Language: HTML - Size: 14.7 MB - Last synced at: 1 day ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
vain0x/wpf-learn
What I learned about WPF
Language: C# - Size: 121 KB - Last synced at: 4 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
vain0x/wpf-navigation-example ๐ฆ
Example of DataTemplate-based navigation with WPF
Language: C# - Size: 83 KB - Last synced at: 1 day ago - Pushed at: 22 days ago - Stars: 5 - Forks: 0
vain0x/loop-js
Loop abstraction for JavaScript and TypeScript
Language: TypeScript - Size: 68.4 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
vain0x/debug-adapter-examples
Examples of Debug Adapter Protocol (DAP) implementation
Language: TypeScript - Size: 598 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 0
vain0x/curage-lang
Example of Language Server Protocol (LSP) server implementation for obvious language as first step
Language: TypeScript - Size: 215 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 0
vain0x/hsp3-packages
Size: 0 Bytes - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
vain0x/knowbug
HSP3 debug window
Language: C++ - Size: 4.56 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 17 - Forks: 6
vain0x/sb2md Fork of cosnomi/sb2md
Size: 45.9 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
vain0x/qrbin
pastebin with QR code
Language: TypeScript - Size: 55.7 KB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
vain0x/milone-lang
Self-hosting F#-subset compiler
Language: F# - Size: 7.58 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 47 - Forks: 1
vain0x/languages
My programming languages under development
Language: Rust - Size: 1.32 MB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
vain0x/hsp3-ginger
HSP3 ้็บใใผใซใไฝใใใญใธใงใฏใ
Language: Rust - Size: 2.93 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 3
vain0x/fsharp-tapl Fork of jack-pappas/fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
Size: 121 KB - Last synced at: 1 day ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0
vain0x/simple-sub Fork of LPTK/simple-sub
Alternative algorithm for algebraic subtyping.
Size: 708 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
vain0x/get-user-locale Fork of wojtekmaj/get-user-locale
A function that returns user's locale as an IETF language tag, based on all available sources.
Size: 3.33 MB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
vain0x/army-knife-online
Army Knife Online
Language: Shell - Size: 178 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
vain0x/wpf-printing ๐ฆ
Library and sample for printing with WPF
Language: C# - Size: 1.23 MB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 20 - Forks: 6
vain0x/text-share ๐ฆ
Share short texts
Language: Rust - Size: 25.4 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
vain0x/solotter-web ๐ฆ
Write-only twitter client
Language: TypeScript - Size: 419 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
vain0x/stickypaper
[Windows] Borderless notepad
Size: 4.88 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
vain0x/procon
Repository to challenge competitive programming contests
Language: Rust - Size: 298 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 8 - Forks: 1
vain0x/HTML-CSS-Class-Completion Fork of zignd/HTML-CSS-Class-Completion
[FORK] CSS class completion for vscode
Language: TypeScript - Size: 501 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
vain0x/typescript-plugin-namespace-import Fork of yukukotani/typescript-plugin-namespace-import
[FORK] A TypeScript Language Service Plugin to auto-complete and insert Namespace Import.
Size: 33.2 KB - Last synced at: 1 day ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
vain0x/friends-lang.github.io
Language: CSS - Size: 186 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
vain0x/playground
Set of tiny projects
Language: C# - Size: 9.44 MB - Last synced at: 29 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
vain0x/GitEdit
Text editor optimized for Git on Windows
Language: C# - Size: 3.16 MB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 0
vain0x/FsAutoComplete Fork of ionide/FsAutoComplete
F# language server using Language Server Protocol
Size: 7.92 MB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
vain0x/pikaparser Fork of lukehutch/pikaparser
[FORK] The Pika Parser reference implementation
Size: 5.6 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
vain0x/seven-guis-hsp
WIP: 7GUIs implementations with HSP3
Size: 116 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
vain0x/json-log-viewer
JSON log file viewer (simple GUI)
Language: C# - Size: 553 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
vain0x/pattern-matching-exhaustivity-checking
ใใฟใผใณใใใ็ถฒ็พ ๆงๆคๆปใฎใตใณใใซ
Language: Rust - Size: 4.42 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
vain0x/toast-clock
ไธๅฎๆ้ใใจใซใใใใขใใใง็พๅจๆๅปใ่กจ็คบใใใขใใช
Size: 18.6 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
vain0x/cppfront Fork of hsutter/cppfront
[fork] A personal experimental C++ Syntax 2 -> Syntax 1 compiler
Size: 4.7 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
vain0x/quartz Fork of myuon/quartz
Size: 2.11 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
vain0x/next.js Fork of vercel/next.js
The React Framework
Size: 1.7 GB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
vain0x/hashtag-ext
[WIP] Hashtag support VSCode extension
Language: TypeScript - Size: 26.4 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
vain0x/friends-lang ๐ฆ
PL for friends in the Japaripark (Logical programming language with Japanese animation-reference joke syntax)
Language: TypeScript - Size: 623 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 66 - Forks: 2
vain0x/submissions-sync
Save your AtCoder submissions into Git repository
Language: TypeScript - Size: 94.7 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
vain0x/hsp3-legacy-codes ๐ฆ
๐ป Set of my projects written in HSP3 long long ago
Language: C++ - Size: 3.22 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
vain0x/abdata ๐ฆ
๐ป
Size: 401 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
vain0x/hsp_green ๐ฆ
๐ป
Size: 85.9 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
vain0x/openhsp-fork ๐ฆ
๐ป
Language: C++ - Size: 61.4 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
vain0x/competo ๐ฆ
WIP
Language: Rust - Size: 25.4 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
vain0x/field-initialization-analyzer ๐ฆ
Analyzer to ensure constructors initialize fields
Language: C# - Size: 68.4 KB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
vain0x/FSharpPlus Fork of fsprojects/FSharpPlus ๐ฆ
[fork] Extensions for F#
Language: F# - Size: 214 KB - Last synced at: 1 day ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0
vain0x/tokiwa_db ๐ฆ
Language: F# - Size: 242 KB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 6 - Forks: 2
vain0x/speed-fs ๐ฆ
An action game using playing card
Language: F# - Size: 76.2 KB - Last synced at: 1 day ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
vain0x/sublime-HSP Fork of potato4d/sublime-HSP ๐ฆ
[fork][hsp] Sublime Text3 ็จใใใฑใผใธ
Language: JavaScript - Size: 20.5 KB - Last synced at: 1 day ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
vain0x/rss-reader-fs ๐ฆ
RSS/Tweets Reader Client written in F#
Language: F# - Size: 331 KB - Last synced at: 1 day ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 1
vain0x/zeo-five ๐ฆ
ZeoFive: an original tiny card game
Language: F# - Size: 89.8 KB - Last synced at: 1 day ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 0
vain0x/tdd-by-example-in-fsharp ๐ฆ
[diary] Reading "TDD by Example" in F#
Language: F# - Size: 33.2 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
vain0x/SwitchCoverageAnalyzer ๐ฆ
Analyzer to improve safety and convenience of switch statements in C#
Language: C# - Size: 48.8 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
vain0x/enumerable-test-dotnet ๐ฆ
Iterator-based unit testing framework for .NET
Language: F# - Size: 984 KB - Last synced at: 1 day ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1
vain0x/muxml_maker ๐ฆ
A lrc-xml converter for TypingMania 5 / IshoTyping
Language: F# - Size: 3.13 MB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
vain0x/fsharp-override-gen ๐ฆ
Console app to generate override stubs for F#
Language: F# - Size: 65.4 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
vain0x/disposables-dotnet ๐ฆ
Provides thread-safe IDisposable containers
Language: C# - Size: 1.14 MB - Last synced at: 1 day ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
vain0x/tzix ๐ฆ
CLI-like Launcher for Windows
Language: F# - Size: 142 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1
vain0x/unit-dotnet ๐ฆ
Provides the unit type (replacement of void) for .NET
Language: C# - Size: 1.14 MB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
vain0x/solotter ๐ฆ
Twitter client for those who want to stay focused on work
Language: F# - Size: 2.41 MB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
vain0x/timermaid ๐ฆ
Simple timer app
Language: C# - Size: 53.7 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
vain0x/share ๐ฆ
(Currently not working)
Language: TypeScript - Size: 26.4 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vain0x/fsharp Fork of dotnet/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Size: 321 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vain0x/lsp-live-reload
Library to live-reload LSP client in VSCode extension for faster development
Language: F# - Size: 156 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vain0x/npm-run-concurrently
Runs npm scripts concurrently (zero dependencies)
Language: JavaScript - Size: 20.5 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
vain0x/fantomas Fork of fsprojects/fantomas
FSharp source code formatter
Language: F# - Size: 95.8 MB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
vain0x/OpenHSP Fork of onitama/OpenHSP
Hot Soup Processor (HSP3)
Size: 70 MB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
vain0x/editorconfig
EditorConfig templates (for me) and tiny app to fetch
Language: Rust - Size: 14.6 KB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
vain0x/cutil
:construction: Opinionated utility library for C language
Language: C - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
vain0x/text-position-rs
Text position representations and range of them
Language: Rust - Size: 53.7 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
vain0x/scan-bench
Benchmarks of scanners for competitive programming
Language: Rust - Size: 13.7 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
vain0x/hsp3-modules
HSP3 ใขใธใฅใผใซ้
Size: 92.8 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
vain0x/website
Source of https://github.com/vain0x/vain0x.github.io
Language: TypeScript - Size: 98.6 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/at-graph
Visualize a graph for competitive programming
Size: 10.7 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/underpass
Generate constrained passwords from your favorite pass phrase
Language: JavaScript - Size: 601 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/checklist
Checklist with sharable URL
Language: JavaScript - Size: 58.6 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/prepend
CLI command to to insert lines in front of a file
Language: Rust - Size: 6.84 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
vain0x/npm-ci-once
Restore node_modules only if package-lock.json has changed
Language: JavaScript - Size: 6.84 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/pdjson Fork of skeeto/pdjson
C JSON parser library that doesn't suck
Size: 101 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
vain0x/rust-analyzer Fork of rust-lang/rust-analyzer
An experimental Rust compiler front-end for IDEs
Language: Rust - Size: 48.7 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
vain0x/jacco-lang
:construction: would be Rust-flavor C-like language?
Language: Rust - Size: 2.09 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
vain0x/reterm
:construction: (would be) terminal emulator with IDE-like UI
Language: TypeScript - Size: 136 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
vain0x/notes
Size: 72.3 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
vain0x/vain0x
Size: 0 Bytes - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
vain0x/groupware
:construction:
Size: 68.4 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
vain0x/bitemp
Experiment of bidirectional template engine for fearless duplication
Language: JavaScript - Size: 16.6 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
vain0x/simple-sub-fs
:construction: simple-sub re-written in F#
Language: F# - Size: 22.5 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
vain0x/RIIR Fork of ansuz/RIIR
why not Rewrite It In Rust
Size: 42 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
vain0x/chibicc Fork of rui314/chibicc
A small C compiler
Size: 861 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
vain0x/debug-adapter-monitor
:construction:
Size: 47.9 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
vain0x/github-action-playground
Size: 21.5 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/reversi
Concurrent Reversi (3x3 Tic-Tac-Toe with 6x6 Reversi sub-games) on browser
Language: TypeScript - Size: 381 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/ionide-vscode-fsharp Fork of ionide/ionide-vscode-fsharp
VS Code plugin for F# development
Size: 31 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vain0x/expect-test-ts
Minimalistic snapshot testing for TypeScript
Language: TypeScript - Size: 22.5 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/FlexLayout Fork of Sleen/FlexLayout
an implementation of Flexbox(Flexible Box) layout algorithm
Size: 57.6 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
vain0x/sql-placeholder-js
Convert SQL placeholders from named (:n) to positional ($i or ?). Array expansion and exhaustivity checking also supported
Language: TypeScript - Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
vain0x/send Fork of mozilla/send
Simple, private file sharing from the makers of Firefox
Size: 61 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/blog-app
Language: TypeScript - Size: 84 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
vain0x/safe-integer-ts
Language: TypeScript - Size: 21.5 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0