Giters
Bryan Tan (Technius)

Technius

Geek Repo

49

followers

0

following

37

stars

Company:Veridise, Inc.

Location:United States

Github PK Tool:Github PK Tool

Organizations
xournalpp

Bryan Tan's repositories

simpl

A simple imperative programming language inspired by ideas in functional programming languages

Language:HaskellLicense:Apache-2.0Stargazers:6Issues:3Issues:2

tempget

A cross-platform program to download files into locations specified by a template file

Language:RustLicense:Apache-2.0Stargazers:6Issues:3Issues:6

redrawn

Experimental framework for automated API migration

Language:RacketStargazers:1Issues:3Issues:0

tokio-chatserver-example

A more involved example of tokio in a concurrent application

Language:RustStargazers:1Issues:3Issues:0

dotfiles

Configuration files, packages, and misc. scripts that I use

Language:Emacs LispLicense:MITStargazers:0Issues:3Issues:0

technius.github.io

My blog

Language:NixStargazers:0Issues:3Issues:0

toyrisc

A toy RISC-V simulator

Language:RustLicense:Apache-2.0Stargazers:0Issues:3Issues:0

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

License:NOASSERTIONStargazers:0Issues:0Issues:0

cannon-game

A puzzle game

Language:GDScriptStargazers:0Issues:3Issues:0

democlash

Language:HaskellStargazers:0Issues:3Issues:0

happy

The Happy parser generator for Haskell

License:NOASSERTIONStargazers:0Issues:0Issues:0

hoopl

Higher-order optimization library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

IMP-DFA-test-suite

The dataset repository for IMP DFA testcases for CS260, winter 2019.

Stargazers:0Issues:3Issues:0

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.

Stargazers:0Issues:1Issues:0

lsp-haskell

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues:0

matrops

A terminal-based matrix row operation tool written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:1Issues:0

reqwest

An easy and powerful Rust HTTP Client

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0

SDL-RPG-Game

SDL Game

Language:C++Stargazers:0Issues:3Issues:0

selang

A simple programming language

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

simple-smt

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

soltype-artifact-public

Language:SolidityStargazers:0Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispStargazers:0Issues:3Issues:0

SPARTA

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Language:C++License:MITStargazers:0Issues:1Issues:0

tabler

An attempt at a user-defined data storage implemented with type-level programming

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:3Issues:0

ucsb-ccs-computing.github.io

Website: https://ucsb-ccs-computing.github.io. See also: https://ucsb-cs-ce-profiles.github.io

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

ucsb-cs291a-w21-project0

Language:HTMLStargazers:0Issues:0Issues:0

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.

Language:C++License:GPL-2.0Stargazers:0Issues:3Issues:0

xournalpp-pipeline-dependencies

Language:PythonStargazers:0Issues:1Issues:0

xournalpp.github.io

Xournal++ website

Language:CSSLicense:NOASSERTIONStargazers:0Issues:1Issues:0