sethpoulsen Goto Github PK
Name: Seth Poulsen
Type: User
Company: @UtahState
Bio: Assistant Professor at Utah State University. Previously PhD student at University of Illinois, software developer at Amazon.
Name: Seth Poulsen
Type: User
Company: @UtahState
Bio: Assistant Professor at Utah State University. Previously PhD student at University of Illinois, software developer at Amazon.
A pytorch-based deep learning framework for multi-modal 2D/3D medical image segmentation
Nixnote - A clone of Evernote for Linux
YouTube video downloader in javascript.
This fork is for getting OverCode to run on SQL.
An automated theorem prover that uses Büchi automata.
Create beautiful diagrams just by typing mathematical notation in plain text.
Online problem-driving learning system
:snake: Complete C99 parser in pure Python
A basic command line REPL for the Pyret programming language.
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
The documentation for Pyret.
The Pyret language.
Code for packaging the Pyret language compiler as a Debian package to be distributed through apt
Static type checker for Python
Parsing and analysis of Vertica, Hive, and Presto SQL.
The 'robotone' theorem prover. Fork of github.com/mg262/research and customized towards MATH-332 Real Analysis I course at College of Wooster, OH.
Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
Packaging of the Runestone tools for publishing educational materials using github pages
Empowering everyone to build reliable and efficient software.
Basic data structures and algorithms in Rust
It fetches all the inbox messages ,shows if message if read or unread .It also shows notification as soon as Sms received in the device.
scikit-learn inspired API for CRFsuite
SortPhotos is a Python script that organizes photos and videos into folders using date/time information
Electron GUI for the python sortphotos app
Spartan type theory
Organize your shopping list by aisle.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.