8000 wasabi315 (wasabi315) / Repositories · GitHub

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

More Web Proxy on the site http://driver.im/

Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

wasabi315 Follow

Overview Repositories 42 Projects 0 Packages 0 Stars 73

More

Overview
Repositories
Projects
Packages
Stars

wasabi315

Follow

Satoshi Takimoto wasabi315

Follow

Institute of Science Tokyo

35 followers · 57 following

Japan
https://wasabi315.github.io
@wasabi__315
wasabi__315

Achievements

Achievements

Highlights

Pro

Block or report wasabi315

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.

Add an optional note:

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

Overview Repositories 42 Projects 0 Packages 0 Stars 73

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All OCaml Haskell Agda Astro TypeScript TeX JavaScript Rust Julia Shell Vue Yacc Verilog Scala C Go Prolog

Sort Last updated

Select order

Last updated Name Stars

XCios Public

OCaml 1 MIT License Updated May 19, 2025
type-search-zoo Public

A collection of type-based library search algorithms

haskell isomorphism library-search equational-unification

Haskell 9 BSD 3-Clause "New" or "Revised" License Updated Apr 6, 2025
exhaustiveness-checking-agda Public

Agda MIT License Updated Mar 18, 2025
mcs-t417 Public

Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 3, 2025
wasabi315.github.io Public

wasabi315's personal page

blog astro utterances

Astro Updated Jan 21, 2025
kitchen-sink Public

Agda Updated Jan 10, 2025
agda-stdlib Public
Forked from agda/agda-stdlib

The Agda standard library

Agda Other Updated Jan 6, 2025
Hasche Public

A lisp interpreter written in Haskell

scheme haskell interpreter

Haskell 2 Updated Dec 4, 2024
dependent-type-check-ts Public

TypeScript 5 BSD 3-Clause "New" or "Revised" License Updated Nov 15, 2024
wasabi315 Public

Hi!

Updated Oct 29, 2024
lambda-delim-cont Public

TeX MIT License Updated Aug 7, 2024
eff-ts Public

Effect handlers using JS/TS Generators

algebraic-effects typescript effect-handlers

TypeScript 3 MIT License Updated Jun 30, 2024
lazy Public

STG-like lazy evaluation mechanism in JavaScript

lazy-evaluation

JavaScript 1 MIT License Updated Jun 14, 2024
lambda-reasoner Public

Haskell BSD 3-Clause "New" or "Revised" License Updated May 20, 2024
bf-agda Public

Agda MIT License Updated Mar 30, 2024
optparse-applicative Public
Forked from pcapriotti/optparse-applicative

Applicative option parser

Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 29, 2024
hoogle Public
Forked from ndmitchell/hoogle

Haskell API search engine

Haskell Other Updated Feb 8, 2024
sudoku-solver Public

JavaScript MIT License Updated Nov 13, 2023
copilot-fanController Public

Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 4, 2023
dlx Public

Rust Updated Aug 15, 2023
tda283 Public
Forked from TDA283-compiler-construction/project

Material for TDA283 / DIT300 Compiler Construction

Julia Updated Jun 1, 2023
piece-table Public

Piece table implementation in Haskell

haskell piece-table

Haskell Other Updated Apr 23, 2023
dotfiles Public

dotfiles

Shell Updated Apr 17, 2023
chord-cloud-haskell Public

Haskell Other Updated Apr 13, 2023
LkProver Public

ocaml sequent-calculus

OCaml 2 MIT License Updated Feb 2, 2023
stg-rs Public

Rust Updated Jan 14, 2023
react-use-actions Public

react typescript react-hooks use-reducer

TypeScript 1 MIT License Updated Jan 6, 2023
turing Public

Turing machine editor

TypeScript 1 Updated Jan 3, 2023
vue-todo-list Public

Vue 1 Updated Dec 11, 2022
chkfs Public

Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 9, 2021

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

0