Giters
1inguini

1inguini

Geek Repo

24

followers

22

following

39

stars

Company:school

Location:the land of Miso

Home Page:1inguini.github.io

Twitter:@1inguini

Github PK Tool:Github PK Tool

1inguini's repositories

bencch

beginner's C compiler written in Haskell(aborted)

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

48scheme.idr

r5rs subset in Idris

Language:IdrisStargazers:2Issues:0Issues:0

dotfiles

configs managed by chezmoi

Language:ShellStargazers:2Issues:0Issues:0

1inguini.com

cdk8sで生成した https://1inguini.com のkubernetesマニフェストとか

Language:TypeScriptStargazers:1Issues:0Issues:0

1inguini.github.io

ブログ的なものになる予定

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

combgll

(WIP) (no gll parser combinator here!) parser combinator library for haskell based on gll parsing algorithm

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

huffman

Huffman encode and decode sequence of words

Language:RustStargazers:1Issues:1Issues:0

init.vim

1inguini's neovim configuration

Language:Vim ScriptStargazers:1Issues:0Issues:0

melllk

ME Learning LLvm by writing Kaleidoscope with haskell (aborted)

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

TaPL.lean

leanでTypes and Programming Languagesを実装して理解する

Language:LeanLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

mud

多重ディスパッチをベースとする静的型付け関数型プログラミング言語

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

.xmonad

xmonad setting

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

1tasita_multipost

致したデータベース移行のための https://shokorism.net と https://nuita.net などへの同時投稿ツール

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

48scheme

doing https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

av3-animator-as-code

Write concise code to generate Avatars 3.0 Animators. Please join the Discord for feedback! (see README)

Language:C#License:MITStargazers:0Issues:0Issues:0

cdk8s-core

Define Kubernetes native apps and abstractions using object-oriented programming

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

claire

A simple proof assistant

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

dotemacs.d

My emacs configuration

Language:Emacs LispStargazers:0Issues:0Issues:0

idris-calc

idrisの練習、計算機

Language:IdrisStargazers:0Issues:0Issues:0

kube-manifest

kubernetes manifest files written in haskell

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

Licences

booth等で公開している物の利用規約公開用

Language:HTMLStargazers:0Issues:0Issues:0

mi2tw

CloudFlare Workerで動く、Misskeyの投稿をTwitterに転送するやつ(https://git.1inguini.com/1inguini/mi2tw のミラー)

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

ponc

might become POstfix Non-Curried functional programming language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

servant-elm

Automatically derive Elm functions to query servant webservices

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

shake

Shake build system

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

twitter-likes

無為がtwitterのlikeの画像をダウンロードしたいと言っていたので参考になるように作ってみた。

Language:TypeScriptLicense:CC0-1.0Stargazers:0Issues:0Issues:0

Unity_VRCSDK3_pub

Assets/linguini in my VRCSDK3 Unity project

Language:GLSLLicense:MITStargazers:0Issues:0Issues:0

vscode-autohide

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

vulkan-playground

me playing with Vulkan

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

www.haskell.org

www.haskell.org site source

License:BSD-3-ClauseStargazers:0Issues:0Issues:0