Discover @y-taka-23 Open Source projects

Cheshire Cat (@y-taka-23)

y-taka-23

Stars
533
Global Rank 52,824 (Top 2 %)
Followers 81
Following 32
Registered over 11 years ago
Most used languages

Elm
30.0 %

Haskell
23.3 %

Go
13.3 %

Frege 10.0 %

CSS
6.7 %

JavaScript
3.3 %

Rust
3.3 %

Coq 3.3 %

TypeScript
3.3 %

Assembly
3.3 %
Location 🇯🇵 Japan
Country Total Rank 1,248
Country Ranking

Frege 1

Elm
6

Coq 9

Haskell
19

Assembly
187

Go
348

CSS
433

Rust
598

JavaScript
685

TypeScript
4,225

thank-you-stars

Give your dependencies stars on GitHub! 🌟

wasm-pandoc

Pandoc compiled into WebAssembly by Asterius. 📚

raytracing-go

A simple Go library for 3D ray-tracing rendering, implementing the book Ray Tracing in One Weekend. 📸

learn-you-a-frege

Frege Translation of "Learn You a Haskell for Great Good!."

miso-tutorial-app

An example GHCJS + Miso single page application. 🍜

elm-ballpool

A demo of a toy physics engine written in pure Elm. ☄

ddsv-go

A toy deadlock detector written in Go. 🔍

miso-vue-example

GHCJS + Miso port of the Vue.js examples.

elm-chip8

A CHIP-8 emulator witten in Elm.

time-machine

A Haskell library to mock the current time. ⏰

concepts-of-proglangs

五十嵐淳『プログラミング言語の基礎概念』の Coq による実装

elm-clockclock24

An Elm homage to ClockClock 24 by Humans since 1982.

wasm-game-of-life

An example of Asterius, compiling Haskell to WebAssembly.

rust-chip8

A CHIP-8 emulator in Rust with iced-powered GUI

elm-forestfire

A forest-fire model as a probabilistic cellular automaton.

restful-todo

A Simple Todo Manager with REST API, Written in Frege.

frege-goodness-jp

Japanese Translation of "Frege Goodness."

elm-shopping-cart

An Elm porting from the Shopping Cart example in Vuex.

voicepipe

Build parameterized Docker images from a single Dockerfile.

dncl-playground

共通テスト手順記述標準言語 (DNCL) のオンライン実行環境

miso-firebase-tutorial

A hands-on for building a chat app in GHCJS Miso with Firebase.

dummy-me

Provides a Simple Dummy Server for REST APIs.

elm-realtime-counter

Real-time variant of the counter example

elm-github-ribbon

Show the "Fork me on GitHub" ribbon in your Elm app.

elm-langtons-ant

Langton's virtual ant in Elm, completely generated by ChatGPT. 🐜

nand2tetris

Solutions for the book "The Elements of Computing Systems"

docker-inject

Copy files/directories from hosts to running Docker containers.

frege-email

A Frege library for sending emails via SMTP.

kpt-descheduler

Kpt package for Kubernetes Descheduler

elm-omikuji

A sample of o-mikuji (Shinto fortunes) written in Elm.

cdk8s-hosting

Publish your static web pages on Kubernetes as cdk8s constructs.