mxbi / better-whitespace
World's best progamming language
☆16Updated 5 years ago
Alternatives and similar repositories for better-whitespace:
Users that are interested in better-whitespace are comparing it to the libraries listed below
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Predict people interest in renting specific NYC apartments. The challenge combines structured data, geolocalization, time data, free text…☆18Updated 7 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 7 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- A new language for optimization☆13Updated 3 years ago
- A general purpose relational language☆20Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- ☆17Updated 4 years ago
- A runtime shape checker and auto-annotator for tensor programs (pronounced "stanley")☆39Updated 5 years ago
- Neural-Network Guided Expression Transformation☆12Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- An encyclopedia of proofs☆59Updated 5 months ago
- Implementation of the RISE language☆14Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated 3 weeks ago
- Kaggle Humpback whale identification: 2xGPU Data augmentation + FP16 mixed precision training☆14Updated 6 years ago
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Updated 7 years ago
- ☆23Updated 2 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- Code for the TrackML competition on Kaggle☆16Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 8 months ago
- Owl's Differential Equation Solvers☆34Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 7 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated last year