astrieanna / TypeCheck.jlLinks
A TypeChecker for Julia
☆70Updated 11 years ago
Alternatives and similar repositories for TypeCheck.jl
Users that are interested in TypeCheck.jl are comparing it to the libraries listed below
Sorting:
- A rewrite of Julia's parser in Julia☆89Updated 6 years ago
- Efficient unit-checked computation☆71Updated 8 years ago
- Functional and persistent data structures for Julia☆125Updated 2 months ago
- Method dispatch based on pattern matching for Julia☆49Updated 9 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- Fast "anonymous functions" for Julia☆30Updated 6 years ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Updated 6 years ago
- Dive deeper into your data with interactive graphics☆89Updated 4 years ago
- Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.☆23Updated 3 years ago
- Midje-like testing for Julia☆81Updated 6 years ago
- Functional, efficient data manipulation framework☆29Updated 7 years ago
- Julia package documentation system.☆40Updated 8 years ago
- ☆122Updated 3 years ago
- A parser combinator library for Julia☆113Updated 2 years ago
- Julia wrapper for CUDA runtime API☆78Updated 6 years ago
- A lint tool for Julia code☆171Updated 5 years ago
- Functional Julia – based on fogus/lemonad☆24Updated 12 years ago
- Unum arithmetic in Julia☆41Updated 6 years ago
- multiparameter typeclasses for Julia☆24Updated 9 years ago
- QuickCheck specification-based testing for Julia☆17Updated 5 years ago
- The Julia debugger☆174Updated 2 years ago
- Exploration of traits in Julia☆39Updated 8 years ago
- [DEPRECATED in favor of https://github.com/JuliaWeb/HTTP.jl] HTTP for Julians☆119Updated 7 years ago
- KDTrees for julia☆24Updated 8 years ago
- Declarative, per-project package management for Julia☆29Updated 8 years ago
- 2D plotting for Julia☆172Updated last year
- Common functional iterator patterns. DEPRECATED in favour of IterTools.jl☆59Updated 6 years ago
- A framework to represent chunks of entities and parallel methods on them.☆30Updated 2 years ago
- Tool for building binary dependencies for Julia modules☆54Updated 5 years ago
- ncurses based data navigators☆27Updated 7 years ago