Jin's starred repositories

covid-19-data

A repository of data on coronavirus cases and deaths in the U.S.

dasel

Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.

org-roam-ui

A graphical frontend for exploring your org-roam Zettelkasten

Language:TypeScriptLicense:GPL-3.0Stargazers:1926Issues:34Issues:216

sharing

Sharing is a command-line tool to share directories and files from the CLI to iOS and Android devices without the need of an extra client app

Language:JavaScriptLicense:MITStargazers:1735Issues:5Issues:16

nerd-dictation

Simple, hackable offline speech to text - using the VOSK-API.

Language:PythonLicense:GPL-3.0Stargazers:1232Issues:26Issues:91

asmrepl

A REPL for x86-64 assembly language

Language:RubyLicense:Apache-2.0Stargazers:867Issues:14Issues:6

tinylisp

Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

Language:CLicense:BSD-3-ClauseStargazers:822Issues:11Issues:12

dirvish

A polished Dired with batteries included.

Language:Emacs LispLicense:GPL-3.0Stargazers:789Issues:7Issues:199

pdfannots

Extracts and formats text annotations from a PDF file

Language:PythonLicense:MITStargazers:517Issues:14Issues:54

lisp-in-life

A Lisp interpreter implemented in Conway's Game of Life

Language:CLicense:NOASSERTIONStargazers:448Issues:6Issues:0

choose

Fuzzy matcher for OS X that uses both std{in,out} and a native GUI

Language:Objective-CLicense:NOASSERTIONStargazers:416Issues:10Issues:25

LambdaLite

A functional, relational database in about 250 lines of Common Lisp

Language:Common LispLicense:MITStargazers:400Issues:34Issues:1

Vacietis

C to Common Lisp compiler

Language:Common LispLicense:NOASSERTIONStargazers:303Issues:25Issues:3

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Language:LeanLicense:Apache-2.0Stargazers:301Issues:11Issues:0

cl-collider

A SuperCollider client for CommonLisp

Language:Common LispLicense:NOASSERTIONStargazers:218Issues:22Issues:65

clomacs

Simplifies Emacs Lisp interaction with Clojure and vice versa.

emacs-htmlize

Convert buffer text and decorations to HTML.

emacs-cl

Common Lisp implemented in Emacs Lisp.

Language:Emacs LispLicense:GPL-2.0Stargazers:166Issues:15Issues:8

learnapl

Introduction to Dyalog APL: https://xpqz.github.io/learnapl

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:125Issues:6Issues:33

sycamore

A fast, purely functional data structure library in Common Lisp.

Language:Common LispLicense:BSD-3-ClauseStargazers:115Issues:11Issues:2

quil

Specification of Quil: A Practical Quantum Instruction Set Architecture

Language:TeXLicense:Apache-2.0Stargazers:103Issues:18Issues:35

gnu-apl-mode

GNU APL mode for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:93Issues:6Issues:27

3-lisp

3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

Language:Common LispStargazers:81Issues:8Issues:0

cl-community-spec

A Common Lisp specification, made from the original ANSI specification drafts

Language:HTMLLicense:MITStargazers:78Issues:9Issues:24

lexic

Mirror of https://git.tecosaur.net/tec/lexic

Language:Emacs LispLicense:GPL-3.0Stargazers:78Issues:4Issues:20

literate-lisp

Load Common Lisp code blocks from Org files

Language:Common LispStargazers:63Issues:8Issues:12

kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

Language:Common LispLicense:NOASSERTIONStargazers:50Issues:11Issues:142

sgf-render

Sgf Rendering CLI written in Rust

Language:RustLicense:MITStargazers:30Issues:3Issues:31

dupont-contraction

This package provides tools to work with Sullivan forms, Dupont forms, and the Dupont contraction from Sullivan to Dupont forms. In particular, it allows for the computation of the transferred homotopy commutative structure on Dupont forms.

Language:PythonLicense:MITStargazers:1Issues:1Issues:0
Language:Common LispStargazers:1Issues:2Issues:0