About Me Hi, I'm Sora Morimoto. I'm currently living at the intersection of industry and academia, working on computer systems and programming language platforms in multidisciplinary teams. My primary focus…
About Me
Hi, I'm Sora Morimoto. I'm currently living at the intersection of industry and
academia, working on computer systems and programming language platforms in
multidisciplinary teams. My primary focus lies within functional programming
languages such as OCaml. Nevertheless, I'm not cynical about other programming
languages and paradigms, even though my preference leans towards formalisable
aspects rather than subjective appeals to taste or intuition.
Other information
- Languages: English and Japanese
- Citizenship: Japan
Get in touch
Reach me at:
- E-mail:
- Signal:
-
ocaml ★ PINNED ⑂
The core OCaml system: compilers, runtime system, base libraries
★ 0 11mo agoExplain → -
setup-ocaml ★ PINNED ⑂
GitHub Action for the OCaml programming language
★ 0 4y agoExplain → -
dune ★ PINNED ⑂
A composable build system for OCaml.
★ 0 11mo agoExplain → -
vscode-ocaml-platform ★ PINNED ⑂
Visual Studio Code extension for OCaml
OCaml ★ 1 10mo agoExplain → -
rekernel
A minimal setup for writing Unikernels in ReasonML
Makefile ★ 30 6y agoExplain → -
coq-to-ocaml-to-js
Proof of concept to generate safe and fast JavaScript
JavaScript ★ 24 4y agoExplain → -
rescript-videojs-example
An example of using Video.js with ReScript React
ReScript ★ 19 3h agoExplain → -
tune-github-hosted-runner-network
OS-neutral interface to disable TCP/UDP offload to fix flaky networking on GitHub-hosted runners
★ 19 28d agoExplain → -
flycaml
OCaml + Fly.io
OCaml ★ 11 29d agoExplain → -
re-tree
A minimal Unix tree command implementation written in pure Native Reason
Reason ★ 10 28d agoExplain → -
dnssec-tools
No description.
Shell ★ 6 28d agoExplain → -
rescript-vercel-speed-insights-example
An example of using Speed Insights in Vercel with ReScript React through the Speed Insights API
ReScript ★ 4 10h agoExplain → -
ocaml-asai
Solutions to the exercises in 浅井健一's book "プログラミングの基礎".
OCaml ★ 4 6y agoExplain → -
opam-repository ⑂
Main public package repository for opam, the source package manager of OCaml.
★ 2 3y agoExplain → -
ncc ⑂
Compile a Node.js project into a single file. Supports TypeScript, binary addons, dynamic requires.
JavaScript ★ 2 2y agoExplain → -
workers-chat-demo ⑂
No description.
★ 2 2y agoExplain → -
opam ⑂
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
★ 1 3mo agoExplain → -
smorimoto
No description.
★ 1 2y agoExplain → -
IoPLMaterials ⑂
Materials for the class "Implementation of Programming Languages" in Kyoto University.
★ 1 4mo agoExplain → -
berry ⑂
📦🐈 Active development trunk for Yarn ⚒
★ 1 1y agoExplain → -
asdf-asciidoctorj ⑂
asciidoctorj plugin for asdf version manager
★ 1 6y agoExplain → -
asdf-argo ⑂
asdf installer for Kubernetes In Docker
★ 1 6y agoExplain → -
asdf ⑂
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
★ 1 5y agoExplain → -
angstrom ⑂
Parser combinators built for speed and memory efficiency
★ 1 5y agoExplain → -
alp ⑂
Access Log Profiler
Go ★ 1 6y agoExplain → -
alcotest ⑂
A lightweight and colourful test framework
★ 1 2y agoExplain → -
albatross ⑂
Albatross: orchestrate and manage MirageOS unikernels with Solo5
★ 1 5y agoExplain → -
actions-ve-repro-2707
Repro case for actions/virtual-environments/issues/2707
★ 1 5y agoExplain → -
actions ⑂
asdf GitHub Actions
★ 1 6y agoExplain → -
.github
No description.
★ 1 5y agoExplain → -
omd ⑂
extensible Markdown library and tool in "pure OCaml"
★ 1 2y agoExplain → -
changelog-check-action ⑂
Checks whether a change in a PR comes with an accompanying Changelog entry
★ 1 7mo agoExplain → -
parsetree_viewer ⑂
No description.
★ 1 1y agoExplain → -
cloudflare-workers-sdk-repro-3306
No description.
TypeScript ★ 1 2y agoExplain → -
strapi ⑂
🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript, fully customizable and developer-first.
JavaScript ★ 1 1y agoExplain → -
distroless ⑂
🥑 Language focused docker images, minus the operating system.
★ 1 2y agoExplain → -
opam-cross-windows ⑂
An OCaml cross-toolchain for Windows and several useful libraries
★ 1 4y agoExplain → -
ocsigenserver ⑂
Web server in OCaml.
★ 1 4y agoExplain → -
tiny_httpd ⑂
Minimal HTTP server using good old threads + blocking IO, with a small request router.
★ 1 3y agoExplain → -
ppx_assert ⑂
Assert-like extension nodes that raise useful errors on failure
★ 1 4y agoExplain → -
ocaml-wasmtime ⑂
OCaml WebAssembly runtime powered by Wasmtime
★ 1 4y agoExplain → -
ocaml-orx ⑂
OCaml bindings for the Orx game engine
★ 1 4y agoExplain → -
wasmer-ocaml ⑂
OCaml bindings for Wasmer
★ 1 3y agoExplain → -
kt3k.com ⑂
business site of kt3k
★ 1 4y agoExplain → -
github-action-merge-dependabot ⑂
This action automatically approves and merges dependabot PRs.
★ 1 3y agoExplain → -
local-ssl-proxy ⑂
Simple SSL HTTP proxy using a self-signed certificate. Intended for local development only.
★ 1 3y agoExplain → -
generator ⑂
Express' application generator
★ 1 3y agoExplain → -
next.js ⑂
The React Framework
★ 1 7mo agoExplain → -
workerd ⑂
The JavaScript / Wasm runtime that powers Cloudflare Workers
C++ ★ 1 3y agoExplain → -
turborepo ⑂
The High-performance Build System for JavaScript & TypeScript Codebases
★ 1 3y agoExplain → -
terraform-provider-tencentcloud ⑂
Terraform Tencent Cloud Provider
★ 1 2y agoExplain → -
distribution ⑂
The toolkit to pack, ship, store, and deliver container content
★ 1 3y agoExplain → -
chrome-aws-lambda ⑂
Chromium Binary for AWS Lambda and Google Cloud Functions
★ 1 3y agoExplain → -
clean-modules ⑂
🧹 Clean up/prune unnecessary files and reduce the size of your node_modules directory.
★ 1 3y agoExplain → -
swagger-typescript-api ⑂
TypeScript API generator via Swagger scheme
★ 1 3y agoExplain → -
dependency-submission-toolkit ⑂
A TypeScript library for creating dependency snapshots.
★ 1 1y agoExplain → -
strapi-strapi-repro-15848
No description.
TypeScript ★ 1 3y agoExplain → -
VoidWSL ⑂
Install Void Linux as a WSL Instance (for Windows 10 1803 64bit or later)
★ 1 5y agoExplain → -
ocaml-cohttp ⑂
An OCaml library for HTTP clients and servers using Lwt or Async
★ 1 1y agoExplain → -
rome ⑂
The Rome Frontend Toolchain. A linter, compiler, bundler, and more for JavaScript, TypeScript, HTML, Markdown, and CSS.
★ 1 6y agoExplain → -
realtime ⑂
Ultrafast & lightweight realtime package for React
★ 0 3d agoExplain → -
brew ⑂
🍺 The Package Manager for Everywhere
★ 0 7d agoExplain → -
form ⑂
🤖 Headless, performant, and type-safe form state management for TS/JS, React, Vue, Angular, Solid, and Lit.
★ 0 8d agoExplain → -
models.dev ⑂
An open-source database of AI models.
★ 0 19d agoExplain → -
react ⑂
A declarative, efficient, and flexible JavaScript library for building user interfaces.
★ 0 5y agoExplain → -
qstash-cli ⑂
Run QStash locally
★ 0 2mo agoExplain → -
ip2location-ocaml ⑂
IP2Location IP Geolocation OCaml module enables you to get your visitors' country, region, city, latitude, longitude, ZIP code, ISP, domain name, timezone, connection speed, IDD code, area code, weather station code, weather station name, MCC, MNC, mobile brand name, elevation, usage type, address type and IAB category based on IP address.
★ 0 10mo agoExplain → -
msys2-opam ⑂
MSYS2 Environment Configuration for opam-repository
★ 0 2mo agoExplain → -
livekit-agents-js ⑂
Build realtime multimodal AI agents with Node.js
★ 0 10h agoExplain → -
box ⑂
TypeScript SDK and CLI for Upstash Box — sandboxed AI coding agents
★ 0 3mo agoExplain → -
riot ⑂
An actor-model multi-core scheduler for OCaml 5 🐫
★ 0 2y agoExplain → -
secrets-action ⑂
Inject Infisical secrets into your Github workflows
★ 0 4mo agoExplain → -
streamdown ⑂
A drop-in replacement for react-markdown, designed for AI-powered streaming.
★ 0 4mo agoExplain → -
search-js ⑂
An HTTP/REST based AI Search client built on top of Upstash REST API.
★ 0 4mo agoExplain → -
sentry-javascript ⑂
Official Sentry SDKs for JavaScript
★ 0 4mo agoExplain → -
workos-node ⑂
Official Node SDK for interacting with the WorkOS API
★ 0 4mo agoExplain → -
mise ⑂
dev tools, env vars, task runner
★ 0 5mo agoExplain → -
sst ⑂
Build full-stack apps on your own infrastructure.
★ 0 5mo agoExplain → -
ocaml-claude-marketplace ⑂
Anil's OCaml Claude plugin collection
★ 0 6mo agoExplain → -
vite-tsconfig-paths ⑂
Support for TypeScript's path mapping in Vite
★ 0 6mo agoExplain → -
authkit-remix ⑂
Authentication and session helpers for using WorkOS & AuthKit with Remix
★ 0 7mo agoExplain → -
ai-sdk-provider ⑂
The OpenRouter provider for the Vercel AI SDK contains support for hundreds of models through the OpenRouter chat and completion APIs.
★ 0 7mo agoExplain → -
mise-action ⑂
No description.
★ 0 8mo agoExplain → -
biome ⑂
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
★ 0 8mo agoExplain → -
ai-elements ⑂
AI Elements is a component library and custom registry built on top of shadcn/ui to help you build AI-native applications faster.
★ 0 8mo agoExplain → -
nvm.fish ⑂
The Node.js version manager you'll adore, crafted just for Fish
★ 0 6mo agoExplain → -
eta ⑂
Embedded JS template engine for Node, Deno, and the browser. Lighweight, fast, and pluggable. Written in TypeScript
★ 0 8mo agoExplain → -
bisect_ppx ⑂
Code coverage for OCaml and ReScript
★ 0 1y agoExplain → -
livekit-components-js ⑂
Official open source React components and examples for building with LiveKit.
★ 0 1y agoExplain → -
biome-repro-5898
No description.
TypeScript ★ 0 1y agoExplain → -
tsdown ⑂
The elegant bundler for libraries powered by Rolldown
★ 0 1y agoExplain → -
mastra ⑂
The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.
★ 0 1y agoExplain → -
nixpkgs ⑂
Nix Packages collection & NixOS
★ 0 11mo agoExplain → -
lwt_domain ⑂
Parallelism in Lwt using domainslib
★ 0 9mo agoExplain → -
vite-plugin-rescript ⑂
Seamlessly integrate ReScript with Vite
★ 0 10mo agoExplain → -
homebrew-core ⑂
🍻 Default formulae for the missing package manager for macOS
★ 0 1y agoExplain → -
bbmustache ⑂
🐲 Render mustache templates to strings
★ 0 6y agoExplain → -
dead_code_analyzer ⑂
Dead-code analyzer for OCaml
★ 0 10mo agoExplain → -
logtape ⑂
Simple logging library with zero dependencies for Deno, Node.js, Bun, browsers, and edge functions
★ 0 11mo agoExplain → -
biome-repro-6013
No description.
TypeScript ★ 0 1y agoExplain → -
gemiglot
Polyglot Discord bot
TypeScript ★ 0 1y agoExplain → -
fastembed-js ⑂
Library to generate vector embeddings in NodeJS
★ 0 1y agoExplain → -
react-router ⑂
Declarative routing for React
★ 0 2mo agoExplain → -
biome-repro-5432
No description.
Shell ★ 0 1y agoExplain → -
yarn-plugin-dedupe-on-install ⑂
No description.
★ 0 1y agoExplain → -
shadcn-ui ⑂
Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.
★ 0 1y agoExplain → -
pyml ⑂
OCaml bindings for Python
★ 0 4y agoExplain → -
dream-html ⑂
Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
★ 0 1y agoExplain → -
ocaml-sitemap ⑂
Generate Sitemap XML from OCaml
★ 0 1y agoExplain → -
promise_jsoo ⑂
Js_of_ocaml bindings to JS Promises with supplemental functions
★ 0 1y agoExplain → -
rescript ⑂
A backend for the OCaml compiler which emits JavaScript.
★ 0 1y agoExplain → -
capnp-rpc ⑂
Cap'n Proto RPC implementation
★ 0 1y agoExplain → -
ocsipersist ⑂
No description.
★ 0 1y agoExplain → -
opam-file-format ⑂
Parser and printer for the opam file syntax
★ 0 10mo agoExplain → -
setup-binaryen ⑂
Sets up all Binaryen tools into the current context.
★ 0 1y agoExplain → -
zed-ocaml ⑂
OCaml support
★ 0 1y agoExplain → -
runner-images ⑂
GitHub Actions virtual environments
★ 0 1y agoExplain → -
binary-distribution ⑂
A web page for dune binary distribution
★ 0 7mo agoExplain → -
rescript-lang.org ⑂
Official documentation website for the ReScript programming language
★ 0 5y agoExplain → -
youki ⑂
An experimental container runtime written in Rust
★ 0 5y agoExplain → -
reanalyze ⑂
Experimental analyses for OCaml/Reason: for globally dead values/types, exception analysis, and termination analysis.
★ 0 6y agoExplain → -
flyctl-actions ⑂
:octocat: GitHub Action that wraps the flyctl
★ 0 1y agoExplain → -
mirage-tcpip ⑂
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
★ 0 1y agoExplain → -
ocaml-uri ⑂
RFC3986 URI parsing library for OCaml
★ 0 2y agoExplain → -
ca-certs ⑂
Detect root CA certificates from the operating system
★ 0 2y agoExplain → -
ocaml-solo5 ⑂
Freestanding OCaml runtime
★ 0 1y agoExplain → -
lwt_ssl ⑂
OpenSSL binding with concurrent I/O
★ 0 1y agoExplain → -
direnv ⑂
unclutter your .profile
★ 0 2y agoExplain → -
camlpdf ⑂
OCaml library for reading, writing and modifying PDF files
★ 0 2y agoExplain → -
ocaml-re ⑂
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
★ 0 2y agoExplain → -
num ⑂
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
★ 0 1y agoExplain → -
ocamlbuild ⑂
The legacy OCamlbuild build manager
★ 0 2y agoExplain → -
ocaml.org ⑂
The official OCaml website.
★ 0 4d agoExplain → -
odoc ⑂
Documentation compiler for OCaml and Reason
★ 0 1y agoExplain → -
tshy ⑂
No description.
★ 0 2y agoExplain → -
Zarith ⑂
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
★ 0 2y agoExplain → -
postgresql-ocaml ⑂
OCaml-bindings for the PostgreSQL database
★ 0 2y agoExplain → -
SATySFi ⑂
A statically-typed, functional typesetting system
★ 0 1y agoExplain → -
irmin-py ⑂
No description.
★ 0 2y agoExplain → -
prisma ⑂
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
★ 0 2y agoExplain → -
dependabot-core ⑂
🤖 Dependabot's core logic for creating update PR's.
★ 0 2y agoExplain → -
atacama ⑂
Modern, pure OCaml socket pool for Riot
★ 0 2y agoExplain → -
asdf-starship ⑂
starship plugin for asdf version manager https://github.com/asdf-vm/asdf
★ 0 6y agoExplain → -
polars-ocaml ⑂
No description.
★ 0 2y agoExplain → -
dbal ⑂
Doctrine Database Abstraction Layer
PHP ★ 0 2y agoExplain → -
sublime-lsp ⑂
Client implementation of the Language Server Protocol for Sublime Text
★ 0 2y agoExplain → -
libdash ⑂
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces and OCaml bindings.
★ 0 4y agoExplain → -
radix-ui-themes ⑂
Radix Themes is an open-source component library optimized for fast development, easy maintenance, and accessibility. Maintained by @workos.
★ 0 2y agoExplain → -
okra ⑂
OKR report aggregation tool
★ 0 4y agoExplain → -
LFLiveKit ⑂
LaiFeng IOS Live Kit,H264 and AAC Hard coding,support GPUImage Beauty, rtmp transmission,weak network lost frame,Dynamic switching rate
★ 0 2y agoExplain → -
rescript-json-schema ⑂
Typesafe JSON schema for ReScript
★ 0 2y agoExplain → -
pgo ⑂
🐘 Use PostgreSQL databases with pgo
★ 0 6y agoExplain → -
isbgpsafeyet.com ⑂
Is BGP safe yet?
★ 0 2y agoExplain → -
axiom-syslog-proxy ⑂
A syslog push interface to Axiom.
★ 0 1y agoExplain → -
min-caml ⑂
moved from https://sourceforge.net/p/min-caml/code/
★ 0 3y agoExplain → -
runner ⑂
The Runner for GitHub Actions :rocket:
★ 0 2y agoExplain → -
catala-website ⑂
Source code for the website of the Catala language
★ 0 3y agoExplain → -
templates ⑂
Repository for Dev Container Templates that are managed by Dev Container spec maintainers. See https://github.com/devcontainers/template-starter to create your own!
★ 0 3y agoExplain → -
opam-source-archives ⑂
mirror of precious opam repository packages whose source websites have disappeared
★ 0 3y agoExplain → -
openai-ocaml ⑂
OCaml bindings for OpenAI API
★ 0 3y agoExplain → -
postgres-importer ⑂
No description.
★ 0 3y agoExplain → -
postgres-ha ⑂
Postgres + Stolon for HA clusters as Fly apps.
★ 0 3y agoExplain → -
postgres-flex ⑂
Postgres HA setup using repmgr
★ 0 2y agoExplain → -
parcel ⑂
The zero configuration build tool for the web. 📦🚀
★ 0 2y agoExplain → -
code-of-conduct ⑂
Documents related to the Code of Conduct
★ 0 3y agoExplain → -
docker-node ⑂
Official Docker Image for Node.js :whale: :turtle: :rocket:
★ 0 3y agoExplain → -
elements ⑂
Custom elements for working with media in the browser that Just Work™
★ 0 2y agoExplain → -
tsconfig-bases ⑂
Hosts TSConfigs to extend in a TypeScript app, tuned to a particular runtime environment
★ 0 4mo agoExplain → -
tc39-code-of-conduct ⑂
TC39 Code of Conduct
★ 0 3y agoExplain → -
compressed-size-action ⑂
GitHub Action that adds compressed size changes to your PRs.
★ 0 3y agoExplain → -
packageurl-js ⑂
JavaScript implementation of the package url spec
★ 0 3y agoExplain → -
js-bindings ⑂
High-quality JavaScript bindings for OCaml
★ 0 5y agoExplain → -
smoosh ⑂
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
★ 0 4y agoExplain → -
opam-cross-android ⑂
An OCaml cross-toolchain for Android and several useful libraries
★ 0 4y agoExplain → -
opam-cross-ios ⑂
An OCaml cross-toolchain for iOS and several useful libraries
★ 0 2y agoExplain → -
ocaml-reddit-api ⑂
An OCaml wrapper to Reddit's API
★ 0 4y agoExplain → -
CAMLBOY ⑂
A Game Boy emulator that runs in your browser written in OCaml🐫 🎮
★ 0 4y agoExplain → -
ocsigen.github.io ⑂
Ocsigen Web site
★ 0 4y agoExplain → -
ocaml-mpst ⑂
Multiparty Session Types in OCaml
★ 0 4y agoExplain → -
scad-ml ⑂
OpenSCAD DSL for OCaml
★ 0 4y agoExplain → -
happy-eyeballs ⑂
An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
★ 0 4y agoExplain → -
maiste.github.io ⑂
https://maiste.github.io
★ 0 4y agoExplain → -
ocaml-cbor ⑂
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
★ 0 4y agoExplain → -
frontend-expert ⑂
No description.
★ 0 4y agoExplain → -
ocsigen-start ⑂
Ocsigen-start: an Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc.
★ 0 4y agoExplain → -
proposal-weakrefs ⑂
WeakRefs
★ 0 4y agoExplain → -
odoc-parser ⑂
An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
★ 0 5y agoExplain → -
eventlog-tools ⑂
Tools for the runtime tracing in OCaml 4.11.0 and higher
★ 0 4y agoExplain → -
starter-workflows ⑂
Accelerating new GitHub Actions workflows
★ 0 5y agoExplain → -
codemod ⑂
Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at Facebook and released as open source.
★ 0 5y agoExplain → -
saw-script ⑂
The SAW scripting language.
★ 0 1y agoExplain → -
bap ⑂
Binary Analysis Platform
★ 0 5y agoExplain → -
saw-core ⑂
The SAW core language.
★ 0 5y agoExplain → -
ocaml-qbf ⑂
OCaml bindings to QBF solver(s)
★ 0 5y agoExplain → -
knowledge ⑂
Everything I know
★ 0 5y agoExplain → -
postgres-protocol ⑂
IO independent postgres protocol implementation
★ 0 5y agoExplain → -
opam-repository-mingw ⑂
windows package repository for OPAM (mingw and msvc)
★ 0 5y agoExplain → -
Canopy ⑂
A git-blogging unikernel written using MirageOS
★ 0 5y agoExplain → -
HdrHistogram ⑂
A High Dynamic Range (HDR) Histogram
★ 0 5y agoExplain → -
ocaml-dune-repro-4496
Repro case for ocaml/dune/issues/4496
★ 0 5y agoExplain →
No repos match these filters.