Giters
Tom (therewillbecode)

therewillbecode

Geek Repo

45

followers

31

following

307

stars

Location:Edinburgh, UK

Github PK Tool:Github PK Tool

Tom's starred repositories

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:53218Issues:326Issues:663

yew

Rust / Wasm framework for creating reliable and efficient web applications

Language:MDXLicense:Apache-2.0Stargazers:30621Issues:297Issues:1238

Rocket

A web framework for Rust.

Language:RustLicense:NOASSERTIONStargazers:24326Issues:272Issues:1544

ratatui

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Language:RustLicense:MITStargazers:10205Issues:35Issues:335

gs-quant

Python toolkit for quantitative finance

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:7598Issues:152Issues:31

P

The P programming language.

Language:C#License:MITStargazers:3012Issues:107Issues:260

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2660Issues:51Issues:2186

git-internals-pdf

PDF on Git Internals

Language:RubyStargazers:2545Issues:101Issues:8

FinancePy

A Python Finance Library that focuses on the pricing and risk-management of Financial Derivatives, including fixed-income, equity, FX and credit derivatives.

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:2103Issues:68Issues:120

loom

Concurrency permutation testing tool for Rust.

Language:RustLicense:MITStargazers:2103Issues:31Issues:119

ffn

ffn - a financial function library for Python

Language:PythonLicense:MITStargazers:1995Issues:64Issues:126

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustLicense:MPL-2.0Stargazers:1089Issues:13Issues:8

pyql

Cython QuantLib wrappers

Language:CythonLicense:NOASSERTIONStargazers:977Issues:112Issues:71

model-zoo

Please do not feed the models

Language:JuliaLicense:NOASSERTIONStargazers:909Issues:47Issues:153

massiv

Efficient Haskell Arrays featuring Parallel computation

Language:HaskellLicense:BSD-3-ClauseStargazers:384Issues:16Issues:83

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Language:LeanLicense:Apache-2.0Stargazers:301Issues:11Issues:0

ethercrab

EtherCAT master written in pure Rust

Language:RustStargazers:246Issues:11Issues:47

PomPom-Language

The cuteness implementation of a dependently typed language.

Language:HaskellStargazers:188Issues:4Issues:0

tutorials

Some Lean tutorials

Language:LeanLicense:Apache-2.0Stargazers:181Issues:8Issues:11

M40001_lean

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

Language:LeanStargazers:156Issues:11Issues:2

formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Language:LeanStargazers:118Issues:13Issues:1

Functors.jl

Parameterise all the things

Language:JuliaLicense:MITStargazers:116Issues:13Issues:28

Solution-to-Algebra-Chapter-0

Solution to Algebra, Chapter 0

Language:TeXLicense:NOASSERTIONStargazers:86Issues:1Issues:4

real-number-game

A gamification of the theorems in MATH40002 Analysis 1

Language:LeanLicense:Apache-2.0Stargazers:78Issues:7Issues:2

challenge-iclr-2022

GitHub repository for the ICLR Computational Geometry & Topology Challenge 2021

Language:Jupyter NotebookStargazers:52Issues:4Issues:2

formalising-mathematics-2023

repository for material for Jan-Mar 2023 course on formalising mathematics

Language:LeanStargazers:49Issues:5Issues:0

IMO-grand-challenge.github.io

IMO Grand Challenge for Artificial Intelligence

Language:SCSSLicense:Apache-2.0Stargazers:43Issues:6Issues:0

Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.

Language:LeanStargazers:22Issues:4Issues:0

MA4N1_2023

MA4N1 Theorem Proving with Lean

Language:LeanLicense:MITStargazers:6Issues:2Issues:0

dump-analyser

Tools for analysing Wireshark captures of EtherCAT traffic

Language:RustStargazers:3Issues:1Issues:0