Giters
Hexirp

Hexirp

Geek Repo

30

followers

36

following

277

stars

Location:Japan

Github PK Tool:Github PK Tool

Hexirp's starred repositories

vscode

Visual Studio Code

Language:TypeScriptLicense:MITStargazers:158041Issues:3289Issues:175052

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyLicense:AGPL-3.0Stargazers:45883Issues:712Issues:10797

cargo

The Rust package manager

Language:RustLicense:Apache-2.0Stargazers:11954Issues:192Issues:6938

MathJax

Beautiful and accessible math in all browsers

License:Apache-2.0Stargazers:9903Issues:246Issues:2813

misskey

🌎 An interplanetary microblogging platform 🚀

Language:TypeScriptLicense:AGPL-3.0Stargazers:9469Issues:97Issues:6734

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

Language:RustLicense:Apache-2.0Stargazers:7906Issues:47Issues:444

compiler

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellLicense:BSD-3-ClauseStargazers:7447Issues:203Issues:1665

checkout

Action for checking out a repo

Language:TypeScriptLicense:MITStargazers:5215Issues:129Issues:817

Kind

A next-gen functional language

Language:RustLicense:MITStargazers:3428Issues:74Issues:213

hyperrogue

A SDL roguelike in a non-euclidean world

Language:C++License:GPL-2.0Stargazers:540Issues:19Issues:120

yatima-lang-alpha

A programming language for the decentralized web

Language:RustLicense:MITStargazers:448Issues:10Issues:32

misskey-hub

Website for Misskey

Language:VueLicense:MITStargazers:286Issues:8Issues:98

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Language:AgdaLicense:GPL-3.0Stargazers:211Issues:14Issues:31

agda-unimath

The agda-unimath library

Language:AgdaLicense:MITStargazers:206Issues:10Issues:130

jlreq

Language:TeXLicense:NOASSERTIONStargazers:119Issues:19Issues:117

formal-type-theory

Formalising Type Theory in a modular way for translations between type theories

Language:CoqLicense:MITStargazers:90Issues:12Issues:19

Set-Theory

A formalization of the textbook Elements of Set Theory

Language:CoqLicense:MITStargazers:58Issues:2Issues:1

ipc_solver

O(N log N)-space IPC solver in OCaml

Language:OCamlStargazers:52Issues:3Issues:0

unboxed

experimenting with unlifted classes via backpack

Language:HaskellLicense:NOASSERTIONStargazers:36Issues:3Issues:3

mc.yohane.su

my minecraft server

Language:ShellStargazers:32Issues:1Issues:72

hott-ja

HoTT in Japanese

Language:RacketStargazers:31Issues:2Issues:3

TASmod

Minecraft Tool-Assisted Speedrun (TAS) Tools with input playback

Language:JavaLicense:GPL-3.0Stargazers:23Issues:2Issues:150

optimul

Multiplication on optimal λ-calculus reducers

Language:JavaScriptLicense:MITStargazers:22Issues:6Issues:1

linear-haskell

linear haskell playground

Language:HaskellStargazers:11Issues:0Issues:0

laurent

Formal power series and Laurent series, cubically

Language:AgdaStargazers:6Issues:0Issues:0

agda-lvo

large veblen ordinal in agda

Language:AgdaLicense:AGPL-3.0Stargazers:5Issues:2Issues:0

OrderOrder

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

prelude-dot

Dotty prelude

Language:HaskellStargazers:4Issues:0Issues:0

haskell-jp.github.io

haskell-jp official web page

Language:HTMLLicense:MITStargazers:4Issues:8Issues:4

notes

Stargazers:4Issues:0Issues:0