Giters
ym-han

ym-han

Geek Repo

15

followers

282

following

830

stars

Github PK Tool:Github PK Tool

ym-han's starred repositories

marker

Convert PDF to markdown quickly with high accuracy

Language:PythonLicense:GPL-3.0Stargazers:8022Issues:46Issues:74

canvas-sketch

[beta] A framework for making generative artwork in JavaScript and the browser.

Language:JavaScriptLicense:MITStargazers:4895Issues:106Issues:164

marimo

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

Language:PythonLicense:Apache-2.0Stargazers:3957Issues:18Issues:233

editable-website

A SvelteKit template for building CMS-free editable websites

Language:SvelteLicense:MITStargazers:1284Issues:15Issues:16

layercake

graphics framework for sveltejs

Language:SvelteLicense:MITStargazers:1172Issues:15Issues:104

glance

A visual Haskell

Language:HaskellLicense:Apache-2.0Stargazers:706Issues:34Issues:8

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

Language:HaskellStargazers:484Issues:29Issues:53

classroomio

Launch your Online Bootcamp in Minutes. The Open Source Alternative to Udemy/Coursera.

Language:TypeScriptLicense:AGPL-3.0Stargazers:350Issues:3Issues:152

magic_paper

Experiments in an explorable visual medium for mathematics

Language:JavaScriptStargazers:250Issues:16Issues:0

htmx-playground

A simple code sandbox for playing around with HTMX. No setup needed!

Language:JavaScriptLicense:MITStargazers:152Issues:2Issues:3

canvas-hypertxt

The fastest way to layout wrapped text on a HTML5 canvas

Language:TypeScriptLicense:MITStargazers:89Issues:3Issues:3

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Language:LeanLicense:Apache-2.0Stargazers:80Issues:7Issues:19

suavemente

:dancer: an applicative functor that seamlessly talks to HTML inputs

Language:HaskellLicense:BSD-3-ClauseStargazers:73Issues:6Issues:3

olli

A library for converting web visualizations into accessible text structures for blind and low-vision screen reader users.

Language:TypeScriptLicense:BSD-3-ClauseStargazers:64Issues:6Issues:60

diagramatics

Interactive Diagram Maker js library

Language:TypeScriptLicense:MITStargazers:49Issues:1Issues:7

talk-2020-calculating-compilers-categorically

A talk

Language:TeXStargazers:27Issues:2Issues:0

d3js-haskell

Haskell to D3.js binding by deep EDSL approach.

Language:HaskellLicense:BSD-3-ClauseStargazers:23Issues:7Issues:2

telingo

🕰️ A solver for temporal programs.

Language:PythonLicense:MITStargazers:21Issues:6Issues:9

pure

A verified compiler for a lazy functional language

Language:Standard MLLicense:NOASSERTIONStargazers:19Issues:26Issues:49

PW-explorer

Language:PythonLicense:Apache-2.0Stargazers:15Issues:0Issues:0

yampa-wasm-example

Example of using Yampa and GHC Wasm backend to create a simple web app.

Language:HaskellLicense:MITStargazers:11Issues:0Issues:0

xclingo2

A tool for explainability and debugging in Answer Set Programming.

Language:PythonLicense:MITStargazers:10Issues:2Issues:13

log-effectful

Language:HaskellLicense:MITStargazers:7Issues:3Issues:2

eiger

An experiment in representing legal regulations in Haskell code

Language:HaskellStargazers:6Issues:3Issues:0

image-color-palette

Visualization of 🎨 Color Palette Extraction from Images 🏞️. Using React Three Fiber.

Language:JavaScriptStargazers:6Issues:1Issues:0

cflp

Constraint Functional-Logic Programming in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:5Issues:0Issues:0

terminusdb-dashboard

Dashboard for TerminusDB

Language:JavaScriptLicense:Apache-2.0Stargazers:5Issues:4Issues:29

idyll-svelte

Idyll in Svelte POC

Language:CSSLicense:MITStargazers:4Issues:0Issues:0

viasp

A visualization tool for clingo

Language:PythonLicense:MITStargazers:4Issues:1Issues:30

normative-primitives-asp

primitive normative concepts for ASP

Language:PythonStargazers:1Issues:0Issues:0