Pinned Repositories
agda-mode
agda-mode on Atom
AILab
AndroidExpressionEvaluator
An android calculator using Dijkstra expression parsing
Ben-Gurion-Website
CIFS
DeveloperLoop
Using Developer Loop, You can continiously run SML files and get their output from the REPL. It's also extensible - you can easily tune it to work with other languages.
Mashov-Notificator
The Mashov Notificator will: Be a local GUI for Mashov. Check all your data on Mashov every set amount of time. Notify you on: New grades. New behavior comments. New messages.
Monocle
Lens library in scala
Reversi-AI
NightRa's Repositories
NightRa/CIFS
NightRa/PdbExplorer
NightRa/PdbExplorer-Old
NightRa/agda-mode
agda-mode on Atom
NightRa/AILab
NightRa/Ben-Gurion-Website
NightRa/G-City
NightRa/BuildTracer
Trace builds using ETW
NightRa/fs2
Compositional, streaming I/O library for Scala
NightRa/genshin-optimizer
An Artifact optimizer for Genshin Impact.
NightRa/glutin
A low-level library for OpenGL context creation, written in pure Rust.
NightRa/incredible
The Incredible Proof Machine
NightRa/intellij-haskell
IntelliJ plugin for Haskell
NightRa/jison
Bison in JavaScript.
NightRa/kaitai_struct_compiler
Kaitai Struct: compiler to translate .ksy => .cpp / .cs / .dot / .java / .js / .php / .pm / .py / .rb
NightRa/leksah
Haskell IDE
NightRa/MCTS-Peshka
NightRa/MergeEmails
NightRa/NLP-HW
NightRa/npm-qgrep
A module for using QGrep in a Node project
NightRa/perfview
PerfView is a CPU and memory performance-analysis tool
NightRa/qgrep
Fast regular expression grep for source code with incremental index updates
NightRa/qgrep-vscode
QGrep search backend for VSCode
NightRa/rust_libloading
A better library for loading dynamic libraries
NightRa/scala-module-dependency-sample
Depend on Scala modules like a pro
NightRa/secure-cloudlog
NightRa/Talks
NightRa/tar-rs
Tar file reading/writing for Rust
NightRa/user-set
NightRa/uv
An extremely fast Python package and project manager, written in Rust.