jdevuyst

jdevuyst's Stars

• tensorflow/models

  Models and examples built with TensorFlow

  Language:Python77.2k2.7k7.3k45.8k

• fastai/fastai

  The fastai deep learning library

  Language:Jupyter Notebook26.3k6051.8k7.6k

• basecamp/trix

  A rich text editor for everyday writing

  Language:JavaScript19.1k2478451.1k

• automerge/automerge-classic

  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

  Language:JavaScript14.8k200276467

• tomnomnom/gron

  Make JSON greppable!

  Language:Go13.9k9286328

• gnab/remark

  A simple, in-browser, markdown-driven slideshow tool.

  Language:JavaScript12.7k206528856

• RelaxedJS/ReLaXed

  Create PDF documents using web technologies

  Language:JavaScript11.8k186133428

• httpie/http-prompt

  An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie

  Language:Python9k169103326

• AndrewHartAR/ARKit-CoreLocation

  Combines the high accuracy of AR with the scale of GPS data.

  Language:Swift5.5k196173741

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1192.3k644

• erikbrinkman/d3-dag

  Layout algorithms for visualizing directed acyclic graphs

  Language:TypeScript1.5k358487

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.2k762892

• lacuna/bifurcan

  functional, durable data structures

  Language:Java967403251

• clj-time/clj-time

  A date and time library for Clojure, wrapping the Joda Time library.

  Language:Clojure73825126161

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket697343157

• pikelet-lang/pikelet

  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

  Language:Rust610306226

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris53981036

• usethesource/capsule

  The Capsule Hash Trie Collections Library

  Language:Java404302327

• iostreamer-X/FuncShell

  Improve your shell by making it functional through Haskell! (An update to Awkward)

  Language:Haskell290968

• elba/elba

  A package manager for Idris

  Language:Rust19096310

• ucsd-progsys/elsa

  Elsa is a lambda calculus evaluator

  Language:Haskell18171021

• joom/hezarfen

  a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

  Language:Idris119803

• clj-commons/ring-buffer

  A persistent ring-buffer in Clojure

  Language:Clojure969419

• vaibhavsagar/duffer

  A git-compatible content tracker in Haskell.

  Language:Haskell667234

• mkdoc/mkcli

  Markdown command line interface definition

  Language:JavaScript64210

• sbp/idris-bi

  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

  Language:Idris365125

• abingham/categories-for-programmers

  A sphinx project for Bartosz Milewski's book "Categories for Programmers"

  Language:Python15470

• umazalakain/fyp

  My final year project at the University of Strathclyde

  Language:Agda13311

• runKleisli/verified-integer-gaussian-elimination

  Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.

  Language:Idris92150

• what-the-functor/macos-system-proxy

  Returns the proxy url for the given network service, and protocol, from macOS Network preferences.

  Language:Shell1300