Stephen Diehl (sdiehl)

sdiehl

Geek Repo

Location:London

Home Page:http://www.stephendiehl.com

Twitter:@smdiehl

Github PK Tool:Github PK Tool


Organizations
DataHaskell
llvm-hs
protolude
pydata

Stephen Diehl's starred repositories

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Language:PythonLicense:MITStargazers:31568Issues:334Issues:280

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

Language:RustLicense:NOASSERTIONStargazers:25126Issues:161Issues:1288

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:9876Issues:253Issues:2265

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

content

The content behind MDN Web Docs

Language:MarkdownLicense:NOASSERTIONStargazers:8671Issues:259Issues:7586

PaLM-rlhf-pytorch

Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM

Language:PythonLicense:MITStargazers:7589Issues:141Issues:46

HVM

A massively parallel, optimal functional runtime in Rust

Language:RustLicense:MITStargazers:7045Issues:89Issues:117

Pluto.jl

🎈 Simple reactive notebooks for Julia

Language:JavaScriptLicense:MITStargazers:4868Issues:37Issues:1584

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language:RustLicense:MPL-2.0Stargazers:3083Issues:39Issues:134

FinanceDatabase

This is a database of 300.000+ symbols containing Equities, ETFs, Funds, Indices, Currencies, Cryptocurrencies and Money Markets.

Language:Jupyter NotebookLicense:MITStargazers:2781Issues:78Issues:38

DifferentialEquations.jl

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

Language:JuliaLicense:NOASSERTIONStargazers:2754Issues:59Issues:857

web3

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

Language:HTMLLicense:CC0-1.0Stargazers:1699Issues:33Issues:95

caramel

:candy: a functional language for building type-safe, scalable, and maintainable applications

Language:OCamlLicense:Apache-2.0Stargazers:1035Issues:25Issues:66

tree

tree is a library for working with nested data structures

Language:PythonLicense:Apache-2.0Stargazers:901Issues:17Issues:45

gt-linalg

Interactive Linear Algebra, free online textbook at Georgia Tech

NFTBlocker

Browser plugin to autoblock NFT users on Twitter.

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlLicense:MITStargazers:608Issues:31Issues:9

dna-3d-engine

3d engine implementation in DNA code!

SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Language:JuliaLicense:NOASSERTIONStargazers:498Issues:18Issues:251

lion

Where Lions Roam: RISC-V on the VELDT

Language:HaskellLicense:BSD-3-ClauseStargazers:242Issues:13Issues:1

MicroHs

Haskell implemented with combinators

Language:HaskellLicense:NOASSERTIONStargazers:229Issues:9Issues:14

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Language:HaskellLicense:BSD-3-ClauseStargazers:134Issues:9Issues:5

Crossline

A small, self-contained, zero-config, MIT licensed, cross-platform, readline and libedit replacement.

Language:CLicense:MITStargazers:114Issues:6Issues:5

Miletus.jl

Writing financial contracts in Julia

Language:JuliaLicense:NOASSERTIONStargazers:81Issues:12Issues:6

egglog0

Datalog + Egg = Good

smooth

An arbitrary-precision differentiable programming language.

Language:HaskellLicense:BSD-3-ClauseStargazers:33Issues:5Issues:2

zerolink-python

Python client for ZeroLink

Language:PythonLicense:Apache-2.0Stargazers:5Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:0