Beast code in Giters

Tulip Amalie's starred repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION2421 64 5443

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptMIT2379 24 214

frog

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

Language:Racket918 44 182

Mastodon.py

Python wrapper for the Mastodon ( https://github.com/mastodon/mastodon/ ) API.

Language:PythonMIT867 30 229

nix-ld

Run unpatched dynamic binaries on NixOS

Language:RustMIT779 19 28

tibble

A modern re-imagining of the data frame

Language:RNOASSERTION654 35 729

telephone-line

A new implementation of Powerline for Emacs

Language:Emacs LispGPL-3.0550 5 108

nix-alien

Run unpatched binaries on Nix/NixOS

Language:PythonMIT467 4 33

oxide

A desktop environment for the reMarkable tablet

Language:C++MIT238 6 244

data-science

Data science tooling for Racket

Language:RacketGPL-3.083 7 3

rebellion

A collection of core libraries for Racket

Language:RacketApache-2.080 6 191

massmine

Your Access To Data

Language:SchemeGPL-3.074 16 15

abstracting-definitional-interpreters

Abstracting Definitional Interpreters

Language:TeX66 7 61

qi

An embeddable flow-oriented language.

Language:Racket58 8 88

libseven

Moved to sdk-seven | From-scratch library for GBA homebrew development

Language:CMPL-2.047 4 4

racket-http-easy

A high-level HTTP client for Racket.

Language:Racket44 7 22

sync_zotero_remarkable

sync zotero collections to a remarkable tablet

Language:PythonNOASSERTION42 4 5

pluralchum

PluralKit integration for BetterDiscord

Language:JavaScriptMIT41 7 37

soft-contract

A prototype of soft contract verification for an untyped functional language

Language:RacketMIT34 8 120

racket-zippers

A zipper library for Racket

Language:RacketNOASSERTION19 30

tabular-asa

A column-oriented, dataframe implementation for Racket.

Language:RacketMIT17 3 5

recursive-language

A language for writing recursive functions

Language:RacketMIT9 5 1

domain-coloring

A domain coloring tool for complex analysis

Language:Racket7 10

seq

A generic sequence library for Racket.

Language:Racket6 3 4

advent-cli

🎄 Advent of Code command-line interface.

Language:PythonGPL-3.06 2 2

bot-TA-discord

A discord bot that can manage a queue of users.

Language:JavaScriptMIT6 2 7

argos

Create GNOME Shell extensions in seconds

Language:JavaScript300

Compatiplural

SimplyPlural -> PluralKit Connectivity.

Language:JavaScript3 20

extlint

An extensible linter for OCaml programs.

Language:Rust3 3 4

.emacs.d

My Emacs Configuration

Language:Emacs Lisp1 20