Pinned Repositories
ast-ex
ToyML interpreter as a case study
chatgpt-generation
Programming examples with ChatGPT
cpstransformer
An Implementation of Type Safe CPS Transformation
diff-insight
icfpc2017
negainoido
json-tracer
Type-safe polymorphic json-structured tracing library
LegacyEx
method
rebindable methods for improving testability
smopeck
Mocking and Specification Tool for API prototyping
start-haskell
my favorite cabal project example
autotaker's Repositories
autotaker/smopeck
Mocking and Specification Tool for API prototyping
autotaker/start-haskell
my favorite cabal project example
autotaker/chatgpt-generation
Programming examples with ChatGPT
autotaker/LegacyEx
autotaker/method
rebindable methods for improving testability
autotaker/diff-insight
autotaker/json-tracer
Type-safe polymorphic json-structured tracing library
autotaker/negainoido-ap-server
autotaker/training-domo
autotaker/advanced-security-java
GitHub Advanced Security scanning tutorial repo for a compilable language
autotaker/apalis
Simple, extensible multithreaded background job processing library for Rust.
autotaker/atcoder
My AtCoder submissions
autotaker/autotaker.github.io
My web page
autotaker/autotaker.github.io.gen
Source code of my web site
autotaker/benchmark-effect-libraries
autotaker/classloaderex
autotaker/deep-learning-from-scratch
my deep learning from scratch written in Haskell
autotaker/dmochi
OCaml verification tool based on lazy abstraction
autotaker/dockerfiles
autotaker/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
autotaker/hierarchical-env
Hierachical environment for dependency injection
autotaker/housekeeping-api-haskell
Haskell implementation of my webapp
autotaker/isucon8q
autotaker/kyopro
My framework for Competitive Programming.
autotaker/modulo-no-overhead
Type-safe modular arithmetics without any overheads
autotaker/myhome
autotaker/primitive
This package provides various primitive memory-related operations.
autotaker/satysfi.vim
Vim syntax plugin for SATySFi typesetting system
autotaker/setup-haskell-path-test
autotaker/snippetgpt-docs