Giter VIP home page Giter VIP logo

Stephen Lazaro's Projects

cats icon cats

Lightweight, modular, and extensible library for functional programming.

cs61a icon cs61a

HW for the class CS61A at UC Berkeley as seen http://www-inst.eecs.berkeley.edu/~cs61a/su14

cs61b icon cs61b

Data Structures as seen at http://www.cs.berkeley.edu/~jrs/61b/

elliptic icon elliptic

A curve drawer for elliptic curves over finite fields

finch icon finch

Scala combinator library for building Finagle HTTP services

kittens icon kittens

Automatic type class derivation for Cats

mhmm icon mhmm

Gift for Jenny, first Android app

misc icon misc

Just a bunch of little exercises to keep the mind sharp.

persians icon persians

An attempt to translate ekmett's beautiful Kan library from Haskell to Scala.

reuler icon reuler

Project Euler in Rust (for now)!

rust icon rust

A safe, concurrent, practical language.

spire icon spire

Powerful new number types and numeric abstractions for Scala.

tut icon tut

doc/tutorial generator for scala

typesidris icon typesidris

Doing Benjamin J Pierce's Types and Programming Languages in IDris

vim-lsc icon vim-lsc

A vim plugin for communicating with a language server

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.