Block or Report
Block or report ym-han
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (32)
Sort Name ascending (A-Z)
Ai_agent
AI_Codegen
AI_interpretability
AI_NLP
data_extraction
databases
datascience
dsl_ide
editor
ergo
expert_systems
formal_methods
Haskell
keyboard
latexy
logic_programming
personal_finance
pl
proof_asst
pyJS
scasp
scientific_computing
simple_blog_setups
symbolic&neural
talon-related
testing
theorem_proving
tools_thought
uiux
utils
webforms
workflow_automation
Stars
Language
Sort by: Recently starred
Developer APIs to Accelerate LLM Projects
A library for building bots compositionally.
vtreat is a data frame processor/conditioner that prepares real-world data for predictive modeling in a statistically sound manner. Distributed under a BSD-3-Clause license.
A monad for interfacing with external SMT solvers
A modular graph-based Retrieval-Augmented Generation (RAG) system
Production ready, modern web-application starter template using haskell and htmx
Modifier types for property based testing
A general purpose programming language with linear types
Example language server (LSP) implementation for a toy language
Tools for merging pretrained large language models.
A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.
A Python library for building GPT-powered agents with state machine logic and chat history memory.
High-powered REPL for Haskell, inspired by IPython
Building a modern functional compiler from first principles. (http:https://dev.stephendiehl.com/fun/)
A dynamic data-driven document development environment (DDDDDE)
Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
Implement monads by specifying instructions and their desired operational semantics.