Pinned Repositories
activator-libgdx-scala-seed
A Typesafe Activator template for generating libGDX projects in Scala.
dotfiles
Configuration files, packages, and misc. scripts that I use
scalajs-mithril
Scala.js facades for Mithril.js
scalajs-pixi
Scala.js facades for Pixi.js
simpl
A simple imperative programming language inspired by ideas in functional programming languages
SkyrimRPG
technius.github.io
My blog
tempget
A cross-platform program to download files into locations specified by a template file
toyrisc
A toy RISC-V simulator
xournalpp
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.
Technius's Repositories
Technius/simpl
A simple imperative programming language inspired by ideas in functional programming languages
Technius/tempget
A cross-platform program to download files into locations specified by a template file
Technius/redrawn
Experimental framework for automated API migration
Technius/tokio-chatserver-example
A more involved example of tokio in a concurrent application
Technius/dotfiles
Configuration files, packages, and misc. scripts that I use
Technius/technius.github.io
My blog
Technius/toyrisc
A toy RISC-V simulator
Technius/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Technius/cannon-game
A puzzle game
Technius/democlash
Technius/happy
The Happy parser generator for Haskell
Technius/hoopl
Higher-order optimization library
Technius/IMP-DFA-test-suite
The dataset repository for IMP DFA testcases for CS260, winter 2019.
Technius/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Technius/lsp-haskell
Technius/matrops
A terminal-based matrix row operation tool written in Rust
Technius/nixpkgs
Nix Packages collection
Technius/reqwest
An easy and powerful Rust HTTP Client
Technius/SDL-RPG-Game
SDL Game
Technius/selang
A simple programming language
Technius/simple-smt
Technius/soltype-artifact-public
Technius/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Technius/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Technius/tabler
An attempt at a user-defined data storage implemented with type-level programming
Technius/ucsb-ccs-computing.github.io
Website: https://ucsb-ccs-computing.github.io. See also: https://ucsb-cs-ce-profiles.github.io
Technius/ucsb-cs291a-w21-project0
Technius/xournalpp
Xournal++ is a handwriting Notetaking software with PDF annotation support. Written in C++ with plattform independent GTK, supporting Linux, e.g. Ubuntu, Debian, Arch, Suse, macOS and Windows 10. Supports Pen input like Wacom Tablets.
Technius/xournalpp-pipeline-dependencies
Technius/xournalpp.github.io
Xournal++ website