Adam Stein (adaminsky)

adaminsky

Geek Repo

Company:UPenn

Location:Philadelphia

Home Page:https://www.seas.upenn.edu/~steinad/

Github PK Tool:Github PK Tool

Adam Stein's repositories

Kale-lang

Basic language built for personal edification off the LLVM Kaleidoscope tutorial.

Language:C++License:MITStargazers:1Issues:2Issues:0
Language:RubyStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:2Issues:0

Bitarray

Fixed sized bitarrays for OCaml.

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:0Issues:1Issues:0
Language:CSSStargazers:0Issues:1Issues:0

BobaGoShop

A simple app for viewing orders that customers have made in.

Language:JavaScriptStargazers:0Issues:1Issues:0

Dancing-Links

Implementation of Donald Knuth's dancing links algorithm for solving sudoku puzzles.

Language:C++Stargazers:0Issues:2Issues:0
Language:PythonLicense:MITStargazers:0Issues:1Issues:0

identicon-generator

A generator of different styles of identicons based on given strings and current conditions like the time.

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:1Issues:0

ll1

First and Follow calculator.

Language:HaskellStargazers:0Issues:0Issues:0

LoopInvGen

A data-driven SyGuS tool that generates provably sufficient loop invariants for program verification.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:1Issues:0

OCTIS

OCTIS: Comparing Topic Models is Simple! A python package to optimize and evaluate topic models (accepted at EACL2021 demo track)

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

Scene-Graph-Benchmark.pytorch

A new codebase for popular Scene Graph Generation methods (2020). Visualization & Scene Graph Extraction on custom images/datasets are provided. It's also a PyTorch implementation of paper “Unbiased Scene Graph Generation from Biased Training CVPR 2020”

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0

secp256k1

Optimized C library for EC operations on curve secp256k1

Language:CLicense:MITStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

TreBody

Three body simulation in terminal.

Language:RustLicense:ISCStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:1Issues:0