LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Builders

Noeon Research (@noeon-ai)

Masahiro Sakai

Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

GitHub@masahiro_sakai
Followers
296
Public repos
293
Stars (recent)
164
Ecosystems
1

Projects

Repositories this builder owns.

printemps-pb26
No description.
—
msakai
No description.
—
language-smtlib
A robust, Text-based Haskell library for reading, writing and incrementally streaming the SMT-LIB 2 format
—
toysolver
My sandbox for experimenting with solver algorithms.
159

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
— followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020, MIPLIB 2024, and Pseudo-Boolean Competition 2025
4
sandbox
My sandbox repository
1
homebrew-tap
No description.
—
lawvere
A categorical programming language with effects
—

Recent activity

Most recently pushed work.

  • msakai/printemps-pb26
    pushed 7h ago
  • msakai/msakai
    pushed 2d ago
  • msakai/language-smtlib
    pushed 3d ago
  • msakai/toysolver
    pushed 8d ago