bruno-who-likes

bruno-who-likes's Stars

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust18.6k120265458

• google-research/timesfm

  TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.

  Language:Python4.5k41159418

• Nixtla/nixtla

  TimeGPT-1: production ready pre-trained Time Series Foundation Model for forecasting and anomaly detection. Generative pretrained transformer for time series trained on over 100B data points. It's capable of accurately predicting various domains such as retail, electricity, finance, and IoT with just a few lines of code 🚀.

  Language:Jupyter Notebook2.7k35185217

• MartinThoma/LaTeX-examples

  Examples for the usage of LaTeX

  Language:TeX1.6k695413

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k511881

• benruijl/symbolica

  A modern computer algebra library for Python and Rust.

  Language:Rust597131526

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell459117837

• mentat-collective/emmy

  The Emmy Computer Algebra System.

  Language:Clojure4221011625

• adah1972/nvwa

  My small collection of C++ utilities

  Language:C++400239109

• nasa/nasa-latex-docs

  An easy and convenient package to create technical LaTeX documents.

  Language:TeX244222184

• tecosaur/BMC

  My bespoke, multipurpose class; designed for general use in LaTeX documents.

  Language:TeX231121526

• fizzbee-io/fizzbee

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  Language:Python20752913

• nrokh/ScientificFigures

  A comprehensive guide on how to create beautiful scientific figures for technical publications, presentations, and posters

  Language:TeX175517

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML113527

• liantze/pgfornament-han

  A pgfornament library for Chinese traditional motifs and patterns

  Language:TeX977324

• JoachimFavre/UniversityNotes

  Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Some of them are in French, but most are in English.

  Language:TeX734212

• tgkolda/latex-graphics-book-examples

  Examples from the book Unlocking LaTeX Graphics: A Concise Guide to TikZ/PGF and PGFPLOTS. See https://latex-graphics.com for more details.

  Language:TeX63207

• steshaw/lennart-lambda

  λλλλ Lennart Augustsson's λ-calculus cooked four ways

  Language:Haskell523010

• yannisl/phd

  Language:TeX431443

• registor/tkz-euclide-doc-zh-cn

  tkz-euclide欧氏几何宏包使用手册中文翻译，欢迎大家批评指正。

  Language:TeX421016

• Vladar4/retrotype

  Retrotype aims to replicate the look of old typewriter-made documents while keeping as many benefits of LaTeX as possible.

  Language:TeX22221

• rowandavies/sml-cidre

  SML Checker for Intersection and Datasort Refinements (pronounced "cider")

  Language:Standard ML205132

• jemmybutton/byrne-latex

  LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements

  Language:TeX18503

• gleich/explain-math

  🧮 LaTeX package for writing readable and explained mathematics

  Language:TeX14101

• lvjr/functional

  Intuitive functional programming interface for LaTeX2

  Language:TeX10393

• opeltre/fp

  Functional programming in python

  Language:Python4360

• roym899/tikz_graphics

  Collection of personal tikz graphics

  Language:TeX3101

• hradecek/Lambda-Calculus-and-Combinators

  Exercises and solutions on *Lambda Calculus* and *Combinators* topic

  2111

• maciej-bendkowski/combinatorics-of-explicit-substitutions

  Supplementary material to the "Combinatorics of explicit substitutions" paper

  Language:Coq2300

• arambin/ternaryfact

  factorization algorithm from article, 'ternary arithmetic, factorization, and the class number one problem'

  Language:Jupyter Notebook1100