Giter VIP home page Giter VIP logo

Jon Baum's Projects

mastering-haskell-notes icon mastering-haskell-notes

Course on mastering haskell from pact. The notes from the original github repo use a tool from the author called git slides which I couldn't get working for me properly. This is intended to recreate the content without having to use that tool.

nordish icon nordish

A roam research theme based on the nord one by elode.

optics-exercises icon optics-exercises

Exercises/Code Example implementation from Optics By Example (note: may not be par-for-par exact copy)

pgm icon pgm

Probabilistic Graphical Models Notes

phazar icon phazar

A phase vocoder implementation in python

plt-coq icon plt-coq

Notes from books on programming language theory

python-atomic icon python-atomic

Python atomic operation extension module. Modified from original to include marked references.

pytify icon pytify

A CLI application for controlling Spotify

quikz icon quikz

Python script to implement a quiz maker/taker/grader. Designed to run over the command line. Designed for quiz taking as a part of self-study

roam-utils icon roam-utils

Hosting for some roam utility scripts. Currently has ext_min which extends smart blocks with additional commands.

roamjs-googletasks icon roamjs-googletasks

Personal Roam Research Sync with Google Tasks WIP currently personal only no external support

sableye icon sableye

A lens library in Idris based off of EKmett's lens package, WIP

smartblocks icon smartblocks

A repository for updating and handling issues with published smart blocks (Roam Research smart blocks)

tafelmusik icon tafelmusik

A runner library for writing quick and dirty command line tools in C#

truecrypt icon truecrypt

Repo for comparison of truecrypt 7.1a v.s. 7.2 (released 27may2014) (UNOFFICIAL)

ulambda icon ulambda

Idris implementation of Untyped Lambda Calculus from TAPL

unhasher icon unhasher

A toy tree search to reverse iterative hashes. Designed to simultaneously evaluate collisions and find all potential initial inputs

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.