y-taka-23/ddsv-go y-taka-23/ddsv-go

  • Stars
    star
    27
  • Rank 905,672 (Top 18 %)
  • Language
    Go
  • License
    Apache License 2.0
  • Created about 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
y-taka-23/ddsv-go
github

y-taka-23

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A toy deadlock detector written in Go. ๐Ÿ”

More Repositories

1

thank-you-stars

Give your dependencies stars on GitHub! ๐ŸŒŸ
Haskell
105
star
2

wasm-pandoc

Pandoc compiled into WebAssembly by Asterius. ๐Ÿ“š
JavaScript
74
star
3

raytracing-go

A simple Go library for 3D ray-tracing rendering, implementing the book Ray Tracing in One Weekend. ๐Ÿ“ธ
Go
55
star
4

learn-you-a-frege

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

miso-tutorial-app

An example GHCJS + Miso single page application. ๐Ÿœ
Haskell
46
star
6

elm-ballpool

A demo of a toy physics engine written in pure Elm. โ˜„
Elm
41
star
7

miso-vue-example

GHCJS + Miso port of the Vue.js examples.
Haskell
19
star
8

elm-chip8

A CHIP-8 emulator witten in Elm.
Elm
17
star
9

time-machine

A Haskell library to mock the current time. โฐ
Haskell
17
star
10

concepts-of-proglangs

ไบ”ๅๅตๆทณใ€Žใƒ—ใƒญใ‚ฐใƒฉใƒŸใƒณใ‚ฐ่จ€่ชžใฎๅŸบ็คŽๆฆ‚ๅฟตใ€ใฎ Coq ใซใ‚ˆใ‚‹ๅฎŸ่ฃ…
Coq
11
star
11

elm-clockclock24

An Elm homage to ClockClock 24 by Humans since 1982.
Elm
11
star
12

wasm-game-of-life

An example of Asterius, compiling Haskell to WebAssembly.
Haskell
9
star
13

rust-chip8

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

elm-forestfire

A forest-fire model as a probabilistic cellular automaton.
Elm
6
star
15

restful-todo

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

frege-goodness-jp

Japanese Translation of "Frege Goodness."
CSS
4
star
17

elm-shopping-cart

An Elm porting from the Shopping Cart example in Vuex.
Elm
4
star
18

voicepipe

Build parameterized Docker images from a single Dockerfile.
Go
3
star
19

dncl-playground

ๅ…ฑ้€šใƒ†ใ‚นใƒˆๆ‰‹้ †่จ˜่ฟฐๆจ™ๆบ–่จ€่ชž (DNCL) ใฎใ‚ชใƒณใƒฉใ‚คใƒณๅฎŸ่กŒ็’ฐๅขƒ
Elm
3
star
20

miso-firebase-tutorial

A hands-on for building a chat app in GHCJS Miso with Firebase.
Haskell
3
star
21

dummy-me

Provides a Simple Dummy Server for REST APIs.
Haskell
2
star
22

elm-realtime-counter

Real-time variant of the counter example
CSS
2
star
23

elm-github-ribbon

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

elm-langtons-ant

Langton's virtual ant in Elm, completely generated by ChatGPT. ๐Ÿœ
Elm
2
star
25

nand2tetris

Solutions for the book "The Elements of Computing Systems"
Assembly
1
star
26

docker-inject

Copy files/directories from hosts to running Docker containers.
Go
1
star
27

frege-email

A Frege library for sending emails via SMTP.
Frege
1
star
28

kpt-descheduler

Kpt package for Kubernetes Descheduler
1
star
29

elm-omikuji

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

cdk8s-hosting

Publish your static web pages on Kubernetes as cdk8s constructs.
TypeScript
1
star