-
Harvard University
- Cambridge, MA
- http://namin.org
Stars
- All languages
- Agda
- Assembly
- Awk
- Bluespec
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Elm
- Emacs Lisp
- Erlang
- F*
- Forth
- Fortran
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- NewLisp
- OCaml
- Objective-C
- Pascal
- Perl
- Prolog
- Pure Data
- Python
- R
- Racket
- Rascal
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Slash
- Smarty
- Standard ML
- Swift
- TeX
- TypeScript
- UrWeb
- VHDL
- Verilog
- Vue
O1 Replication Journey: A Strategic Progress Report – Part I
[NeurIPS'21 Outstanding Paper] Library for reliable evaluation on RL and ML benchmarks, even with only a handful of seeds.
A language for symbolic transitions system, inspired by Ivy.
MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documents [EMNLP 2024]
The most no-nonsense, locally or API-hosted AI code completion plugin for Visual Studio Code - like GitHub Copilot but completely free and 100% private.
Tool for visualizing GitHub profiles
An AI Agent for Fully Automated Multi-omic Analyses
Tag/word cloud component for react https://madox2.github.io/react-tagcloud/
A little word cloud generator in Python
Examples from our paper "Capturing the Future by Replaying the Past"
A high-performance, parallel, compilation-based symbolic execution engine
FacTool: Factuality Detection in Generative AI
List of papers on hallucination detection in LLMs.
Data Apps & Dashboards for Python. No JavaScript Required.
Streamlit — A faster way to build and share data apps.
Collection of awesome LLM apps with RAG using OpenAI, Anthropic, Gemini and opensource models.
Create web-based user interfaces with Python. The nice way.
Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
Learning Formal Mathematics from Intrinsic Motivation
Offline partial evaluation system for Prolog written using the cogen approach
TxGNN: Zero-shot prediction of therapeutic use with geometric deep learning and clinician centered design
Framework and Language for Neurosymbolic Programming.
Probabilistic programming with HuggingFace language models
Proof assistant based on first-order logic and set theory