qexat/qexat.com

Source code for my website

Language: CSS - Size: 10.4 MB - Last synced at: 2 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

qexat/orena-batteries

the built-in standard library for orena

Size: 31.3 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

qexat/orena-code-extension

A Visual Studio Code extension to support the Orena language

Size: 158 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

qexat/lexie

a ML-style programming language based on the calculus of constructions type theory

Language: OCaml - Size: 612 KB - Last synced at: 2 days ago - Pushed at: 21 days ago - Stars: 21 - Forks: 1

qexat/ansifmt

A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the terminal.

Language: OCaml - Size: 140 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 22 - Forks: 1

qexat/opam-repository Fork of ocaml/opam-repository

Main public package repository for opam, the source package manager of OCaml.

Size: 150 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

qexat/gleam Fork of gleam-lang/gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language: Rust - Size: 21.1 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

qexat/rosalie

Colorful rose theme for Visual Studio Code and Vim.

Language: Vim Script - Size: 284 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

qexat/awc-twitch-chat-bot Fork of anthonywritescode/twitch-chat-bot

Language: Python - Size: 489 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

qexat/magic-list

A list on steroids

Language: Python - Size: 440 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0

qexat/cat

insert a nerd emoji here

Language: OCaml - Size: 38.1 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

qexat/Coquille

Coquille is a lightweight library that wraps terminal escape sequences to easily apply them to a stream.

Language: Python - Size: 338 KB - Last synced at: 2 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

qexat/Grimoire

Grimoire is a compilation of silly and interesting Python snippets I've written.

Language: Python - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

qexat/obric

Okay But Recursion Is Cool

Language: OCaml - Size: 31.3 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

qexat/pyre-check Fork of facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 461 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

qexat/identify Fork of pre-commit/identify

File identification library for Python

Language: Python - Size: 622 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

qexat/github-tui Fork of chshersh/github-tui

🌒 A TUI for GitHub

Language: OCaml - Size: 8.36 MB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

qexat/inductive

inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.

Language: Python - Size: 242 KB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0

qexat/advent-of-code

Here is why you should NOT hire me /j

Language: OCaml - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

qexat/qexat

Size: 13.7 KB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

qexat/ansifmt_demo

A very simple project that makes use of ansifmt's tokenization-based formatting.

Language: OCaml - Size: 1.28 MB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

qexat/estoc

Language: OCaml - Size: 147 KB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

qexat/twitch-chat-bot Fork of anthonywritescode/twitch-chat-bot

Size: 469 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

qexat/remige

Language: Python - Size: 62.5 KB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

qexat/blz78suf Fork of kspalaiologos/blz78suf

LZ78 optimal parsing for repetitive Brainfuck text generation

Size: 21.5 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

qexat/venusc 📦

[Coming soon] Compiler and toolchain for the Venus programming language.

Language: Python - Size: 31.3 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

qexat/peano

Natural numbers based on Peano axioms in Gleam.

Language: Gleam - Size: 17.6 KB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

qexat/peano_nat_gleam

peano natural integers in gleam

Language: Gleam - Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

qexat/kalmia-theme

Kalmia is a dark rose theme for Visual Studio Code.

Language: CSS - Size: 352 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 1

qexat/munii

Language: Rust - Size: 28.3 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

qexat/trunk

writing stuff

Size: 6.07 MB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

qexat/ratatui-things

Language: Rust - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

qexat/PLAGE

Programming Language Adjacent General Experiments

Language: OCaml - Size: 53.7 KB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

qexat/shlog

A simple Bash utility to log useful messages.

Language: Shell - Size: 3.91 KB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

qexat/c23_list

My very bad and unsafe take on generic lists using the nice features of C23.

Language: C - Size: 6.84 KB - Last synced at: 2 days ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

qexat/CommonPoems 📦

Simple, basic Poems.

Language: TeX - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

qexat/Marrow 📦

compiler and runtime for marrow

Language: Python - Size: 145 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

qexat/camlator 📦

A parser and tree-walk interpreter for basic math expressions, written in OCaml.

Language: OCaml - Size: 24.4 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

qexat/crons

Size: 43.9 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

qexat/various-proofs

Various (basic) proofs I wrote in Coq.

Language: Coq - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

qexat/nocode 📦

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Language: Python - Size: 7.81 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/garnet

(Read-only) GitHub mirror of the Garnet programming language repository.

Language: Rust - Size: 9.59 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

qexat/featlib

Language: Python - Size: 19.5 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

qexat/Braincum 📦

Braincum is an esoteric programming language heavily inspired on well-known Brainfuck.

Size: 2.93 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

qexat/peps Fork of python/peps

Python Enhancement Proposals

Language: reStructuredText - Size: 26.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

qexat/reload-wifi-py 📦

Automation script to periodically restart the NetworkManager service until a connection is established again.

Language: Python - Size: 121 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

qexat/hare

(Read-only) GitHub mirror of the Hare programming language repository.

Language: Makefile - Size: 5.66 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

qexat/Qexat-Theme 📦

My personal Visual Studio Code theme. Feel free to use it :D

Size: 1.07 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

qexat/drawpad 📦

Language: Python - Size: 11.7 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

qexat/qodex 📦

Qodex is my personal text editor. It is meant to work on my machine.

Language: Python - Size: 20.5 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

qexat/repo-test 📦

​

Size: 1.95 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/vibi-docs 📦

Documentation for the Vism Bitcode Interpreter.

Size: 1000 Bytes - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/Babble 📦

Babble is a pretty visual noise generator TUI application.

Language: Python - Size: 128 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/babi Fork of asottile/babi 📦

a text editor

Language: Python - Size: 693 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

qexat/typeshed Fork of python/typeshed

Collection of library stubs for Python, with static types

Size: 21.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

qexat/anstrip

anstrip is a minimal library to strip ANSI sequences from strings.

Language: Python - Size: 13.7 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

qexat/1984 📦

1984

Size: 1000 Bytes - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

qexat/aurpkg

An extremely short bash script to open the AUR page of a given package

Language: Shell - Size: 3.91 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/uiua Fork of uiua-lang/uiua

A stack-based array programming language

Language: Rust - Size: 12.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/outspin Fork of trag1c/outspin

Conveniently read single char inputs in the console.

Language: Python - Size: 68.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

qexat/Qyte 📦

Qyte is a virtual machine, bytecode and compilation target.

Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

qexat/prideflag 📦

Prints LGBTI flags (24-bit colors) in the terminal emulator.

Language: Rust - Size: 125 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 1

qexat/roost 📦

Roost is a simple Rust error generator written in Rust.

Language: Rust - Size: 214 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

qexat/pixyl 📦

Pixyl is a terminal-based pixel art frame rendering engine.

Language: Python - Size: 114 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

qexat/purity 📦

fancy `map` basically

Language: Python - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/stdlib.codot 📦

Size: 3.91 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/curses_game 📦

Language: Python - Size: 20.5 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

qexat/Vism 📦

Specification for the Vism esoteric programming language.

Size: 484 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

qexat/pyglit 📦

Python iterator inspired from Gleam's one

Language: Python - Size: 19.5 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

qexat/bepospliz 📦

BePosPliz (be positional please) is a lightweight module to anonymize the args of a function.

Language: Python - Size: 43.9 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

qexat/w-tmp-vscode 📦

Language: OCaml - Size: 43.9 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/PyVism 📦

PyVism is an implementation of Vism written in Python.

Language: Python - Size: 155 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 0

qexat/nbs-converter Fork of jazziiRed/nbs-converter

Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

qexat/PyVism3

Language: Python - Size: 28.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

qexat/pylox

not finished yet

Language: Python - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

qexat/trag1c-dahlia Fork of dahlia-lib/dahlia

[Fork] Dahlia — a simple text formatting package, inspired by the game Minecraft.

Language: Python - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

qexat/trag1c-crossandra Fork of trag1c/crossandra

[Fork] Crossandra - a fast and simple tokenization library for Python operating on enums and regular expressions, with a decent amount of configuration.

Language: Python - Size: 97.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

qexat/qrust

A template for my Rust projects

Language: Rust - Size: 10.7 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/BlackWithTabs Fork of psf/black

The uncompromising Python code formatter (but with tabs)

Language: Python - Size: 7.33 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/W-by-example

Language: CWeb - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

qexat/BrainfuckW 📦

Simple Brainfuck REPL built with W.

Language: CWeb - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0