Skip to content
View anqurvanillapy's full-sized avatar
280 followers · 267 following

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

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

Block or report anqurvanillapy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • anqurvanillapy Public

    me.long_description

    Updated Aug 18, 2024

  • lyzh Public

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

    Python 24 MIT License Updated Aug 8, 2024

  • rowsweekly Public

    RowsWeekly for RowsMeetup

    6 MIT License Updated Apr 21, 2024

  • jianscript Public

    JianScript programming language

    C++ MIT License Updated Apr 8, 2024

  • slides Public

    Some of my archived slides

    HTML 5 MIT License Updated Mar 19, 2024

  • cppl Public

    C/C++ Lab

    C++ 4 1 MIT License Updated Dec 24, 2023

  • anqur Public

    Forked from ice1000/anqur

    Elaboration with inductive types

    Java GNU General Public License v3.0 Updated Sep 27, 2022

  • guest0x0 Public

    Forked from ice1000/guest0x0

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

    Java GNU General Public License v3.0 Updated Aug 28, 2022

  • dotfiles Public

    my dotfiles

    Vim Script MIT License Updated Jul 28, 2022

  • tidr Public

    Forked from edwinb/SPLV20

    My notes about TinyIdris v2

    Idris Updated Jun 13, 2022

  • fpetstore Public

    Functional pet store, crap!

    TypeScript MIT License Updated Aug 30, 2021

  • dreamtt Public

    Forked from jonsterling/dreamtt

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

    OCaml Apache License 2.0 Updated Apr 1, 2021

  • scripts Public

    Scripts for efficient use

    Shell ISC License Updated Mar 22, 2021

  • fpl Public

    my fp lab

    Agda 1 MIT License Updated Mar 19, 2021

  • DIO.jl Public

    Forked from thautwarm/DIO.jl

    Julia implementation for Python Restrain JIT

    Julia MIT License Updated Mar 3, 2021

  • diojit Public

    Forked from thautwarm/diojit

    fully compatible CPython jit compiler

    Python BSD 2-Clause "Simplified" License Updated Feb 18, 2021

  • agda-mode-vscode Public

    Forked from banacorn/agda-mode-vscode

    agda-mode on VS Code

    ReScript MIT License Updated Feb 6, 2021

  • cdep Public

    A C/C++ package manager that just works

    Go 1 MIT License Updated Jan 16, 2021

  • monadity Public

    TypeScript 3 MIT License Updated Jan 9, 2021

  • koka Public

    Forked from koka-lang/koka

    Koka language compiler and interpreter

    Haskell Other Updated Dec 31, 2020

  • vert.x Public

    Forked from eclipse-vertx/vert.x

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

    Java Other Updated Nov 3, 2020

  • lab4j Public

    my randumb Java snippets

    Java MIT License Updated Sep 26, 2020

  • dbzoo Public

    Shell MIT License Updated Sep 22, 2020

  • vscode-arend Public

    Forked from ice1000/vscode-arend

    VSCode extension for the Arend language

    TypeScript Updated Jul 29, 2020

  • probset Public

    im gonna deal with it

    C++ Updated Jul 25, 2020

  • ice1000.github.io Public

    Forked from kangkangkang/ice1000.github.io

    Personal tech blog

    HTML MIT License Updated Jun 29, 2020

  • iI Public

    C MIT License Updated May 21, 2020

  • vanilla Public

    An apllication development battleground

    Java MIT License Updated Apr 4, 2020

  • aqira Public

    Aqira, a happy little theorem prover

    Java MIT License Updated Mar 5, 2020

  • mbsql Public

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

    Java MIT License Updated Mar 5, 2020