Pinned Repositories
cppl
C/C++ Lab
gmhp
An amateur slideshow generator
libscoa
Erlang-like lightweight C++ actor framework
lyzh
A well-documented minimal dependently-typed language for my friend Lyzh
purus
A minimal functional language based on PTS∞
rowsweekly
RowsWeekly for RowsMeetup
slides
Some of my archived slides
rowscript
RowScript programming language, making a better browser world
ReuseIR
Reuse Analysis in MLIR and Rust. Functional programming meets performance.
rura
RUst way for Reuse Analysis
anqurvanillapy's Repositories
anqurvanillapy/lyzh
A well-documented minimal dependently-typed language for my friend Lyzh
anqurvanillapy/rowsweekly
RowsWeekly for RowsMeetup
anqurvanillapy/slides
Some of my archived slides
anqurvanillapy/cppl
C/C++ Lab
anqurvanillapy/monadity
anqurvanillapy/cdep
A C/C++ package manager that just works
anqurvanillapy/fpl
my fp lab
anqurvanillapy/agda-mode-vscode
agda-mode on VS Code
anqurvanillapy/anqur
Elaboration with inductive types
anqurvanillapy/anqurvanillapy
me.long_description
anqurvanillapy/aqira
Aqira, a happy little theorem prover
anqurvanillapy/dbzoo
anqurvanillapy/DIO.jl
Julia implementation for Python Restrain JIT
anqurvanillapy/diojit
fully compatible CPython jit compiler
anqurvanillapy/dotfiles
my dotfiles
anqurvanillapy/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory. If this helps you, please consider sponsoring!
anqurvanillapy/fpetstore
Functional pet store, crap!
anqurvanillapy/guest0x0
Neon lights in the night tonight and stars that shine in the open sky
anqurvanillapy/ice1000.github.io
Personal tech blog
anqurvanillapy/iI
anqurvanillapy/jianscript
JianScript programming language
anqurvanillapy/koka
Koka language compiler and interpreter
anqurvanillapy/lab4j
my randumb Java snippets
anqurvanillapy/mbsql
MbSQL, an eDSL compiler plugin and library for SQL in Java
anqurvanillapy/probset
im gonna deal with it
anqurvanillapy/scripts
Scripts for efficient use
anqurvanillapy/tidr
My notes about TinyIdris v2
anqurvanillapy/vanilla
An apllication development battleground
anqurvanillapy/vert.x
Vert.x is a tool-kit for building reactive applications on the JVM
anqurvanillapy/vscode-arend
VSCode extension for the Arend language