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
- negamax AI algorithm for turn-based games☆13Updated 6 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- Kaggle Humpback whale identification: 2xGPU Data augmentation + FP16 mixed precision training☆14Updated 6 years ago
- A general purpose relational language☆19Updated 5 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…☆146Updated 4 years ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆30Updated 5 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- functional data structures and utilities for python☆36Updated 6 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- Python term rewriting☆30Updated 12 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 wrapper around Python's ctypes for Nim-specific function signatures.☆12Updated 7 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 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
- An encyclopedia of proofs☆63Updated 11 months ago
- Parallel Programming in Futhark☆49Updated last month
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- My solutions for AoC 2017, using Nim, OCaml, and Python☆43Updated 10 months ago
- A quickcheck library for Nim☆19Updated 5 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- My solution for the competition "Le meilleur data scientist de France 2018" (Best Data Scientist of France 2018)☆12Updated 7 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- Jumpstart your Nim project at Status☆11Updated 6 years ago