Skip to content
View himura's full-sized avatar
🥞
flat as a pancake
🥞
flat as a pancake

Organizations

@line

Block or report himura

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

OpenAPI spec of the LINE's Public APIs

JavaScript 151 29 Updated Nov 26, 2024

This might one day be a thesis project

Haskell 11 1 Updated Dec 21, 2022

A Japanese (Riichi) Mahjong AI Framework

Python 288 40 Updated Dec 17, 2024

A Scala API for Cascading

Scala 3,506 707 Updated May 28, 2023

Parsing, analyzing, and comparing source code across many languages

Haskell 8,987 453 Updated Jul 24, 2024

Haskell implementation of the server-side verifier for Web Authentication API

Haskell 15 5 Updated Jan 5, 2022

This project is intended to protest against the police in Japan

HTML 4,141 1,087 Updated Jun 10, 2024

Persistent adapter for Haskell Relational Record

Haskell 21 2 Updated Mar 30, 2023

🍥 Haskell向けLINE Messaging API SDK

Haskell 34 7 Updated Nov 9, 2022

Wonderful reusable code from Twitter

Scala 2,693 580 Updated Dec 13, 2024

Code for the ICCV 2015 paper "Discriminative Learning of Deep Convolutional Feature Point Descriptors"

Lua 122 44 Updated Feb 26, 2016

Cross-platform rhythm game based on Java and libGDX.

Java 658 149 Updated Sep 30, 2024

NECO - A Tiny HTTP Client

Haskell 7 Updated Aug 15, 2021

Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

TypeScript 31,246 2,782 Updated Dec 20, 2024

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Haskell 1,807 153 Updated Sep 9, 2024

A statically-typed, functional typesetting system

OCaml 1,183 84 Updated Nov 12, 2024

In Japanese. Juliaで学ぶタイトバインディング模型とトポロジカル物質

Jupyter Notebook 15 1 Updated Mar 21, 2022

Pytorch easy-to-follow Capsule Network tutorial

Jupyter Notebook 770 135 Updated Oct 4, 2019

Gatling third party plugin for thrift protocol.

Scala 18 2 Updated Jul 19, 2018

a durable message queue system for go based on redis, see also https://github.com/adjust/rmq

Go 505 74 Updated Apr 20, 2022

Give the exception's value constructors for your haskell project

Haskell 6 2 Updated Jun 29, 2021

Blog post previews in need of peer review

2,200 169 Updated Jul 19, 2023

Liquid Types For Haskell

Haskell 1,204 138 Updated Dec 20, 2024

This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction

Haskell 177 39 Updated Jul 26, 2024

A fault tolerant, protocol-agnostic RPC system

Scala 8,795 1,451 Updated Dec 18, 2024

The Julia Programming Language

Julia 46,023 5,495 Updated Dec 21, 2024

Company-mode completion back-end for haskell-mode via ghc-mod

Emacs Lisp 125 6 Updated Jun 13, 2018

Haskell pretty printer

Haskell 563 113 Updated Dec 16, 2024

Extensible records, variants, structs, effects, tangles

Haskell 130 21 Updated Dec 5, 2024
Haskell 8 3 Updated Jan 9, 2020
Next