Giters
Anqur (anqurvanillapy)

anqurvanillapy

Geek Repo

263

followers

254

following

8k

stars

Company:@Shopee

Location:Chengdu, China

Home Page:anqur.github.io

Twitter:@anqurvanillapy

Github PK Tool:Github PK Tool

Organizations
anqur
aya-prover
cubical-trio-theory
Infinity-Type-Cafe
noharm
owo-lang
rowscript

Anqur's repositories

lyzh

A well-documented minimal dependently-typed language for my friend Lyzh

Language:PythonLicense:MITStargazers:23Issues:1Issues:0

slides

Some of my archived slides

Language:HTMLLicense:MITStargazers:5Issues:2Issues:0

cppl

C/C++ Lab

Language:C++License:MITStargazers:4Issues:2Issues:2

monadity

Language:TypeScriptLicense:MITStargazers:3Issues:2Issues:0

rowsweekly

RowsWeekly for RowsMeetup

License:MITStargazers:3Issues:2Issues:0

cdep

A C/C++ package manager that just works

Language:GoLicense:MITStargazers:1Issues:2Issues:0

fpl

my fp lab

Language:AgdaLicense:MITStargazers:1Issues:2Issues:0

agda-mode-vscode

agda-mode on VS Code

Language:ReScriptLicense:MITStargazers:0Issues:1Issues:0

alkali

Go playground

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

anqur

Elaboration with inductive types

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

anqurvanillapy

me.long_description

Stargazers:0Issues:2Issues:0

aqira

Aqira, a happy little theorem prover

Language:JavaLicense:MITStargazers:0Issues:2Issues:1

dbzoo

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

DIO.jl

Julia implementation for Python Restrain JIT

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

diojit

fully compatible CPython jit compiler

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

dotfiles

my dotfiles

Language:Vim ScriptLicense:MITStargazers:0Issues:2Issues:3

dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory. If this helps you, please consider sponsoring!

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:1Issues:0

fpetstore

Functional pet store, crap!

Language:TypeScriptLicense:MITStargazers:0Issues:3Issues:0

guest0x0

Neon lights in the night tonight and stars that shine in the open sky

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

ice1000.github.io

Personal tech blog

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

iI

Language:CLicense:MITStargazers:0Issues:2Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

lab4j

my randumb Java snippets

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

mbsql

MbSQL, an eDSL compiler plugin and library for SQL in Java

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

probset

im gonna deal with it

Language:C++Stargazers:0Issues:2Issues:1

scripts

Scripts for efficient use

Language:ShellLicense:ISCStargazers:0Issues:2Issues:4

tidr

My notes about TinyIdris v2

Language:IdrisStargazers:0Issues:1Issues:0

vanilla

An apllication development battleground

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

vert.x

Vert.x is a tool-kit for building reactive applications on the JVM

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

vscode-arend

VSCode extension for the Arend language

Language:TypeScriptStargazers:0Issues:1Issues:0