croyzor's Stars
exaloop/codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
HigherOrderCO/Kind1
A modern proof language
cilynx/rtl88x2bu
rtl88x2bu driver updated for current kernels.
arianneorpilla/jidoujisho
A full-featured immersion language learning suite for mobile.
dhall-lang/dhall-haskell
Maintainable configuration files
grumpycoders/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.
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
xdslproject/xdsl
A Python Compiler Design Toolkit
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
caotic123/PomPom-Language
The cuteness implementation of a dependently typed language.
kdr-aus/ogma
Scripting language focused on processing tabular data.
msp-strath/TypOS
being an operating system for typechecking processes
kowainik/awesome-cabal
💫 A curated list of awesome resources for the Haskell Cabal build tool.
agda/agda-language-server
Language Server for Agda
gustavklopp/LingL
clone of lingq to learn new language
ayrtonm/psx-sdk-rs
Rust SDK targeting the original Playstation
Helium4Haskell/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
jmgorius/mlir-standalone-template
An out-of-tree MLIR dialect template.
teesloane/trunk
Language learning application.
cronburg/antlr-haskell
A language parsing quasiquoter for Haskell based heavily on ANTLR4.
emvivre/Sony-PS1-executable-disassembler
Simple disassembler of Sony Playstation executable (MIPS R3000A instruction set).
carsonrobles/fpga-guitar-pedal
FPGA based guitar effect station.
thiagofelicissimo/BiTTs
nramos0/fluent-reader
Language learning app similar to https://lingq.com/, but open source and free written in Typescript and Rust. Supports English and Chinese.
Helium4Haskell/Top
The Top constraint solving framework
daxida/lingq
Lingq scripts for automated editing
adpextwindong/SLPJ_READING
NathanCQC/qwinterschool-qchem
Material for the quantinuum internal winterschool