SethPoulsen

SethPoulsen's Stars

• laurent22/joplin

  Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

  Language:TypeScript47.3k4876.8k5.1k

• karpathy/minGPT

  A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

  Language:Python21.1k265722.7k

• tloen/alpaca-lora

  Instruct-tune LLaMA on consumer hardware

  Language:Jupyter Notebook18.8k1554712.2k

• zotero/zotero

  Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

  Language:JavaScript10.8k1363.5k784

• phw/peek

  Simple animated GIF screen recorder with an easy to use interface

  Language:Vala10.4k731.2k321

• pllk/cphb

  Competitive Programmer's Handbook

  Language:TeX3.1k10976361

• EleutherAI/math-lm

  Language:Python1.1k184885

• MitchellSternke/SuperMarioBros-C

  An attempt to translate the original Super Mario Bros. for the NES to readable C/C++

  Language:C++652292473

• SerCeMan/fontogen

  Hey, Computer, Make Me a Font

  Language:Python471111027

• ldez/cubejs

  cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

  Language:JavaScript318152147

• joennlae/tensorli

  Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).

  Language:Python2503212

• yulonglong/VisuAlgo-List

  (Completed). Web application to visualize data structures and algorithms through animation.

  Language:JavaScript2344279

• openwebwork/webwork2

  Course management front end for WeBWorK

  Language:Perl14828630165

• aclements/biblib

  Simple, faithful BibTeX parser and algorithms for Python 3

  Language:Python1158842

• davidaf3/hyke

  A programming language that runs on TypeScript's type system

  Language:TypeScript52200

• VissaMoutafis/Solutions-Klenberg

  Algorithm Design (Kleinberg Tardos 2005) - Solutions

  31005

• umaim/Mario

  A HTML5 Nintendo's original Super Mario Bros

  Language:TypeScript242123

• geof90/rubiks

  A interactive and web-based 3D Rubik's cube simulator

  Language:JavaScript202112

• SethPoulsen/robottwo

  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.

  Language:Coq16300

• perk11/exif-database

  A bash script to build a sqlite database of EXIF information in a directory and plot it on a map.

  Language:HTML13200

• cvandesande/joplin-deb

  Create a DEB file for Joplin

  Language:Dockerfile12123

• REA1/karp

  a language for NP reductions

  Language:Racket6141

• shibbirtanvin/DeepInfer

  The replication packages and results of DeepInfer paper accepted at ICSE 2024

  Language:Python6105

• sn-code-inside/labook-code

  Language:R42

• DSAatUSU/EDMCup2023

  Language:Jupyter Notebook30

• EdwardsLabUSU/CodeProcess-API

  CodeProcess is a software visualization tool that is designed to give the viewer an immediate assessment of the general characteristics of the process used to develop a piece of software. It features inter-active controls for the user to analyze details of the process. It is a web application developed using Python, D3 and React JS.

  Language:Python3100

• eliotwrobson/FSMBuilder

  A repository holding code for the FSM builder.

  Language:Python2100

• EdwardsLabUSU/DeidentifyKeystrokes

  Language:Jupyter Notebook110

• jasonxia17/scaffolded-writing

  Language:Python1203

• PrairieLearn/marketing

  Marketing website for PrairieLearn

  Language:TypeScript1412