Jeremy Schlatter (jeremyschlatter)

jeremyschlatter

Geek Repo

Company:Machine Intelligence Research Institute

Home Page:https://bel-repl.com/

Github PK Tool:Github PK Tool

Jeremy Schlatter's starred repositories

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:15630Issues:0Issues:0

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.

Language:PythonLicense:MITStargazers:11344Issues:0Issues:0

mise

dev tools, env vars, task runner

Language:RustLicense:MITStargazers:7131Issues:0Issues:0

ultimate-submit-list

This repository is dedicated to collecting a directory of resources for submitting startup projects, including websites, communities, newsletters, and more. It aims to help solo makers save time and effortlessly find the right platforms to promote their startups.

Stargazers:128Issues:0Issues:0

pterm

✨ #PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.

Language:GoLicense:MITStargazers:4608Issues:0Issues:0

toolong

A terminal application to view, tail, merge, and search log files (plus JSONL).

Language:PythonLicense:MITStargazers:2771Issues:0Issues:0

spacedrive

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

Language:TypeScriptLicense:AGPL-3.0Stargazers:29160Issues:0Issues:0

paperless-ngx

A community-supported supercharged version of paperless: scan, index and archive all your physical documents

Language:PythonLicense:GPL-3.0Stargazers:17480Issues:0Issues:0

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigLicense:NOASSERTIONStargazers:71292Issues:0Issues:0

impermanence

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Language:NixLicense:MITStargazers:941Issues:0Issues:0

transformer-walkthrough

A walkthrough of transformer architecture code

Language:Jupyter NotebookLicense:MITStargazers:284Issues:0Issues:0

hylo

The Hylo programming language

Language:SwiftLicense:Apache-2.0Stargazers:1136Issues:0Issues:0

frogmouth

A Markdown browser for your terminal

Language:PythonLicense:MITStargazers:2299Issues:0Issues:0

relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Language:HaskellLicense:MITStargazers:690Issues:0Issues:0
Language:GoLicense:Apache-2.0Stargazers:1907Issues:0Issues:0

direnv

unclutter your .profile

Language:GoLicense:MITStargazers:11835Issues:0Issues:0

programmer-calculator

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

Language:CLicense:GPL-3.0Stargazers:533Issues:0Issues:0

carbonyl

Chromium running inside your terminal

Language:RustLicense:BSD-3-ClauseStargazers:14208Issues:0Issues:0

blink

tiniest x86-64-linux emulator

Language:CLicense:ISCStargazers:6756Issues:0Issues:0

pkgx

the last thing you’ll install

Language:TypeScriptLicense:Apache-2.0Stargazers:8759Issues:0Issues:0

soanm

Shell Of A New Machine: Quickly configure new environments

Language:RustLicense:Apache-2.0Stargazers:40Issues:0Issues:0

leap.nvim

Neovim's answer to the mouse 🦘

Language:FennelLicense:MITStargazers:4066Issues:0Issues:0

silero-models

Silero Models: pre-trained speech-to-text, text-to-speech and text-enhancement models made embarrassingly simple

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:4629Issues:0Issues:0

mach-nix

Create highly reproducible python environments

Language:PythonLicense:MITStargazers:838Issues:0Issues:0

aper

A Rust data structure library built on state machines.

Language:JavaScriptLicense:MITStargazers:295Issues:0Issues:0

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:CoqStargazers:807Issues:0Issues:0

crate2nix

rebuild only changed crates in CI with crate2nix and nix

Language:NixLicense:Apache-2.0Stargazers:326Issues:0Issues:0

nickel

Better configuration for less

Language:RustLicense:MITStargazers:2185Issues:0Issues:0

markdoc

A powerful, flexible, Markdown-based authoring framework.

Language:TypeScriptLicense:MITStargazers:7047Issues:0Issues:0

shuttle

Build & ship backends without writing any infrastructure files.

Language:RustLicense:Apache-2.0Stargazers:5683Issues:0Issues:0