Repositories list

• quarto

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 25, 2026Apr 25, 2026

• hobby

  Public
  Hobby's Spline

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 4, 2026Apr 4, 2026

• lean4-termux

  Public
  Lean

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 29, 2026Mar 29, 2026

• mds

  Public
  MultiDimensional Scaling

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2026Mar 22, 2026

• gleam

  Public
  Gleam

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 14, 2026Feb 14, 2026

• dcg

  Public
  definite clause grammar

  Prolog

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 27, 2025Dec 27, 2025

• trealla-js

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 26, 2025Dec 26, 2025

• async-iterator-helpers

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 25, 2025Dec 25, 2025

• deno.json

  Public
  tihi

  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 25, 2025Dec 25, 2025

• bus-stop

  Public
  국토교통부_전국 버스정류장 위치정보

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 25, 2025Dec 25, 2025

• compute.toys

  Public
  WGSL

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 25, 2025Dec 25, 2025

• nauty

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 19, 2025Dec 19, 2025

• minizinc

  Public
  MiniZinc

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2025Dec 16, 2025

• hvm4

  Public
  C

  •2222 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2025Dec 16, 2025

• bus-data

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 14, 2025Dec 14, 2025

• bigul

  Public
  the bidirectional generic update language

  Haskell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 12, 2025Dec 12, 2025

• totient

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 11, 2025Dec 11, 2025

• graph6

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 11, 2025Dec 11, 2025

• networkx

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 10, 2025Dec 10, 2025

• oeis

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 5, 2025Dec 5, 2025

• plantri

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2025Nov 28, 2025

• dax

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 27, 2025Nov 27, 2025

• burnside-lemma

  Public
  번사이드 보조정리

  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2025Nov 24, 2025

• parselmouth

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2025Nov 19, 2025

• mfa

  Public
  montreal forced aligner

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2025Nov 19, 2025

• autogluon

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 6, 2025Nov 6, 2025

• h2o

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 5, 2025Nov 5, 2025

• ic

  Public
  Interaction Combinators

  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 31, 2025Oct 31, 2025

• brzozowski

  Public
  Brzozowski vs Antimirov

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 21, 2025Oct 21, 2025

• proposal-composites

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 14, 2025Oct 14, 2025