Giters
Craig Roy (croyzor)

croyzor

Geek Repo

16

followers

16

following

152

stars

Github PK Tool:Github PK Tool

Craig Roy's starred repositories

Sony-PS1-executable-disassembler

Simple disassembler of Sony Playstation executable (MIPS R3000A instruction set).

Language:C++Stargazers:37Issues:0Issues:0

lingq

Lingq scripts for automated editing

Language:PythonStargazers:3Issues:0Issues:0

fluent-reader

Language learning app similar to https://lingq.com/, but open source and free written in Typescript and Rust. Supports English and Chinese.

Language:TypeScriptLicense:GPL-3.0Stargazers:15Issues:0Issues:0

LingL

clone of lingq to learn new language

Language:CSSLicense:GPL-3.0Stargazers:93Issues:0Issues:0

pcsx-redux

The PCSX-Redux project is a collection of tools, research, hardware design, and libraries aiming at development and reverse engineering on the PlayStation 1. The core product itself, PCSX-Redux, is yet another fork of the Playstation emulator, PCSX.

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

BiTTs

Language:OCamlStargazers:18Issues:0Issues:0

psx-sdk-rs

Rust SDK targeting the original Playstation

Language:RustLicense:MITStargazers:81Issues:0Issues:0

Top

The Top constraint solving framework

Language:HaskellLicense:GPL-3.0Stargazers:8Issues:0Issues:0

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter

Language:HaskellLicense:GPL-3.0Stargazers:92Issues:0Issues:0

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaLicense:AGPL-3.0Stargazers:322Issues:0Issues:0

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:566Issues:0Issues:0

codon

A high-performance, zero-overhead, extensible Python compiler using LLVM

Language:C++License:NOASSERTIONStargazers:14009Issues:0Issues:0

xdsl

A Python Compiler Design Toolkit

Language:PythonLicense:NOASSERTIONStargazers:230Issues:0Issues:0

tar.pl

tar creator+extractor in ~100 lines of prolog

Language:PrologStargazers:254Issues:0Issues:0

mlir-standalone-template

An out-of-tree MLIR dialect template.

Language:CMakeLicense:NOASSERTIONStargazers:84Issues:0Issues:0

awesome-cabal

đź’« A curated list of awesome resources for the Haskell Cabal build tool.

License:CC0-1.0Stargazers:117Issues:0Issues:0

qwinterschool-qchem

Material for the quantinuum internal winterschool

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

ogma

Scripting language focused on processing tabular data.

Language:RustLicense:MITStargazers:171Issues:0Issues:0

jidoujisho

A full-featured immersion language learning suite for mobile.

Language:DartLicense:GPL-3.0Stargazers:861Issues:0Issues:0

SLPJ_READING

Language:TeXStargazers:3Issues:0Issues:0

Kind1

A modern proof language

Language:JavaScriptLicense:MITStargazers:3536Issues:0Issues:0

PomPom-Language

The cuteness implementation of a dependently typed language.

Language:HaskellStargazers:187Issues:0Issues:0

TypOS

being an operating system for typechecking processes

Language:HaskellStargazers:119Issues:0Issues:0

rtl88x2bu

rtl88x2bu driver updated for current kernels.

Language:CLicense:GPL-2.0Stargazers:1617Issues:0Issues:0

antlr-haskell

A language parsing quasiquoter for Haskell based heavily on ANTLR4.

Language:HaskellLicense:NOASSERTIONStargazers:49Issues:0Issues:0

fpga-guitar-pedal

FPGA based guitar effect station.

Language:SystemVerilogStargazers:26Issues:0Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

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

agda-language-server

Language Server for Agda

Language:HaskellLicense:MITStargazers:97Issues:0Issues:0

trunk

Language learning application.

Language:ClojureStargazers:83Issues:0Issues:0

dhall-haskell

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:910Issues:0Issues:0