8000 tausbn (Taus) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View tausbn's full-sized avatar
23 followers · 8 following
  • GitHub Staff

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report tausbn

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

Stars

Showing results

robsimmons / dusa

A logic programming language that has features of both Datalog and answer set programming.

TypeScript 117 7 Updated May 6, 2025

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

OCaml 95 19 Updated May 19, 2025

robsimmons / sketchzone

Quality-of-life for fiddly little JS apps that modify user-generated text

TypeScript 19 2 Updated Jan 19, 2025

davmillar / flats

MDX 1 Updated Jan 5, 2024

OnionUI / Onion

OS overhaul for Miyoo Mini and Mini+

C 3,792 256 Updated Apr 22, 2025

alpinejs / alpine

A rugged, minimal framework for composing JavaScript behavior in your markup.

HTML 29,658 1,288 Updated Mar 28, 2025

kahole / edamagit

Magit for VSCode

TypeScript 1,251 77 Updated Feb 10, 2025

rjrudman / penpa-edit

Forked from opt-pan/penpa-edit

Forked from https://github.com/opt-pan/penpa-edit to provide English translations

13 10 Updated Dec 17, 2021

mcclure / bitbucket-backup

One checkout from each of my old BitBucket repos.

C 111 6 Updated Jan 7, 2023

fsieczkowski / ssml

Forked from gian/ssml

Sub-standard ML

Standard ML 3 Updated Apr 11, 2012

gian / ssml

Sub-standard ML

Standard ML 5 1 Updated Feb 16, 2012

robsimmons / sml-lib

Library for Standard ML

Standard ML 54 4 Updated Feb 13, 2012

robsimmons / agda-lib

A standard library for Agda

Agda 8 4 Updated Sep 16, 2016
0