stjordanis Goto Github PK

lean

Lean Algorithmic Trading Engine by QuantConnect (C#, Python, F#)

lean-1

Lean Theorem Prover

lean-gym

lean-liquid

💧 Liquid Tensor Experiment

lean.nvim

neovim support for the Lean theorem prover

lean4

Lean4 work in progress repo

leanpub

Haskell client for the Leanpub API

leap-day

Leap day is a Jekyll theme for GitHub Pages

leapide-docs

LeapIDE documentation

leaps-and-bounds

This is an implementation of LeapsAndBounds and Structured Procrastination for approximately optimal algorithm configuration.

learn

Neuro-symbolic interpretation learning (mostly just language-learning, for now)

learn-algorithmic-trading

Learn Algorithmic Trading, Published by Packt

learn-browser-testing

Repository for my upcoming course & workshop

learn-cantrill-io-labs

Standard and Advanced Demos for learn.cantrill.io courses

learn-cljs

Source code for Learn ClojureScript

learn-deep-learning

AI Summer's complete catalog of articles

learn-elixir

:droplet: Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!

learn-fp

learn-by-doing course/tutorial for functional programming on scala

learn-gdscript

Learn Godot's GDScript programming language right in your browser, for free.

learn-haskell

Haskell Code for Perls of Functional Algorithm Design

learn-julia-the-hard-way

Learn Julia the hard way!

learn-langauge-fast

a technique to learn to communicate in a new language in 1 week

learn-llvm-12

Learn LLVM 12, published by Packt

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

learn-pandas

Tutorials on how to use pandas effectively to do data analysis

learn-programming-languages

Resources for the working programmer to learn more about the fundamentals and theory of programming languages.

learn-python

📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with explanations.

learn-quantum-computing-with-python-and-ibm-quantum-experience

Learn Quantum Computing with Python and IBM Quantum Experience, published by Packt

learn-reflectance

learn-robotics-programming-second-edition

Learn Robotics Programming, Second Edition published by Packt