mxbi / better-whitespaceLinks
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
Sorting:
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- A general purpose relational language☆19Updated 5 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- Kaggle Humpback whale identification: 2xGPU Data augmentation + FP16 mixed precision training☆14Updated 6 years ago
- negamax AI algorithm for turn-based games☆13Updated 6 years ago
- Metamath verifier in Python☆39Updated 5 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 5 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Parallel Programming in Futhark☆49Updated 3 weeks ago
- Predict people interest in renting specific NYC apartments. The challenge combines structured data, geolocalization, time data, free text…☆18Updated 8 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A Haskell implementation of the tiger compiler☆10Updated 5 years ago
- An encyclopedia of proofs☆63Updated 11 months ago
- A compiler for a simple language using llvm☆36Updated 2 years ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 5 years ago
- DeepAlgebra☆25Updated 8 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A lightweight interactive data visualization library☆14Updated 6 years ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆148Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- ☆23Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago