hexirp Goto Github PK
Name: Hexirp
Type: User
Bio: Hacking Minecraft, Java, Haskell, Prolog, Scala, Coq, Googology, Elm, and more
Location: Japan
Hexirp's Projects
acme-cofunctor
A Cofunctor is a structure from category theory dual to Functor
aiya000-learning-haskell
My Learning for Haskell
aiya000.github.io
my blog
akariki
レッドストーン関係を拡張します 💥
analysis-tree
Analyze googological notations by their tree structures.
asterius
A Haskell to WebAssembly compiler
blog
Hexirp's Blog
cantors-attic
Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.
cllthask
combinatory-type-theory
coq-gist
gistlike repository
coq-izf
depgraphdiv
Divide modules into packages according to the dependecy graph
dfordivam.github.io
doctest-discover
Easy way to run doctests via cabal
doctest-driver-gen
Generate driver file for doctest's cabal integration.
dotfiles
elm-test
Write unit and fuzz tests for Elm code.
extensible
Extensible data types and pattern matching, effects, tangles
forgegradle
Minecraft mod development framework used by Forge and FML for the gradle build system
garbage
ghc-paths
Knowledge of GHC's installation directories
github-trends
Scrape GitHub's Trends
googology
googology-in-coq
Googology in Coq
hakyll
A static website compiler library in Haskell
hasga
haskell-gist
gistlike repository
haskell-jp-blog
Official blog of Haskell-jp.
hexirp-hakyll
I decided to deeply fork hakyll.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.