JuliaSymbolics / SymbolicSAT.jl
for you with the good questions
☆27Updated 3 years ago
Related projects: ⓘ
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Like a kick in the monads☆39Updated 2 years ago
- A simple static type checker that enforces C-style programming in Julia☆25Updated last year
- Pattern matching☆52Updated 2 years ago
- Pirating base type NTuple{N,Core.VecElement{T}} -- although base methods are NOT overloaded -- and plundering the great work of eschnett'…☆26Updated 3 years ago
- A static method overlay and optimization tool with configurable code generation and execution.☆55Updated 2 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- A cassette-based debugger | The Other Debugger☆50Updated 2 years ago
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Updated 3 years ago
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Full-featured traits in Julia. Without full features how dare I say this?☆63Updated 8 months ago
- An Abstract Reasoning Logic Interface☆15Updated 3 years ago
- Optional value handling for Julia☆30Updated last year
- J̳̋ͪ︡ų̔l̲̮̲̏̆͋i͖͈̬̭ͭ̄a̬ͯ a̖̖̝ͬͨ͢p̘͓̣̄̕p̯ͥ̍͘r̯ͧ̄o̘̖̮͌̚ã͔̍ͣc̗ͪh̨͗︢e̚s̡̡︡ͮ͐☆44Updated 6 months ago
- Non-iterable ranges☆36Updated 8 months ago
- A logarithmic number system for Julia.☆59Updated 7 months ago
- ☆25Updated 4 years ago
- eXpression differentiation in Julia☆28Updated 4 years ago
- iterate and foldl for humans™☆28Updated 4 years ago
- Automated integrated regression tests for graphics libraries☆29Updated last month
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 3 years ago
- Dynamically track IR as a graph, using source transformations☆31Updated 3 years ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Updated 3 years ago
- Fancy memoizing for expensive functions in Julia.☆18Updated 4 years ago
- Static numbers in Julia☆36Updated 2 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 5 years ago
- Allocate arrays with malloc, calloc, or on NUMA nodes☆53Updated last year
- Safe resource handling for Julia, without the do blocks☆29Updated 2 years ago
- Keeping tabs on the julia ecosystem☆28Updated 4 months ago