ComputabilityTheory.jl

Pure Julia implementation of tools used in Computability Theory

MIT License

Stars
3
Committers
1
View Code on GitHub View on X
Ecosystems: The Julia Language

Commit Statistics

Past Year

All Time

Total Commits
84
Total Committers
1
Avg. Commits Per Committer
84.0
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
21
Merged Pull Requests
0
21
Total Issues
0
6
Time to Close Issues
N/A
about 1 month
Package Rankings
Top 35.53% on Juliahub.com
Badges
Extracted from project README
Dev CI Code Style: Blue
Related Projects
Catlab.jl

A framework for applied category theory in the Julia language

04 Apr 2017 608
Measurements.jl

Error propagation calculator and library for physical measurements. It supports real and complex...

17 May 2016 486
ScientificComputingForTheRestOfUs

Introduction to Scientific Computing 🦊

25 Sep 2017 123
PAndQ.jl

A computer algebra system for propositional logic

25 Sep 2022 16
ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

03 Dec 2019 190
ToyFHE.jl

Toy implementation of FHE algorithms

23 Aug 2019 93
MultidimensionalTools.jl

A small toolbox of helpers to work with multidimensional matrices and abstract arrays, written in...

30 Dec 2020 2
JACC.jl

CPU/GPU parallel performance portable layer in Julia via functions as arguments

29 Jun 2023 21
CodingTheory.jl

Pure Julia implementation of tools used in Coding Theory

05 Oct 2020 5
SpelledOut.jl

A minimal, Julia-written tool for converting numbers to words.

18 Oct 2020 15
Turing.jl

Bayesian inference with probabilistic programming.

29 Apr 2016 2,033
CUDA.jl

CUDA programming in Julia.

06 Sep 2019 1,151
Julia-data-science

Data science and numerical computing with Julia

14 Dec 2019 57
Combinatorics.jl

A combinatorics library for Julia

27 Mar 2013 208
FaceDetection.jl

A face detection algorithm using Viola-Jones' rapid object detection framework written in Julia

05 Aug 2020 27