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
No releases found yet, please check back later.
Package Rankings
Top 35.53% on Juliahub.com
Badges
Extracted from project README
Dev CI Code Style: Blue
Related Projects
CUDA.jl

CUDA programming in Julia.

06 Sep 2019 1,151
Catlab.jl

A framework for applied category theory in the Julia language

04 Apr 2017 608
ScientificComputingForTheRestOfUs

Introduction to Scientific Computing 🦊

25 Sep 2017 123
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
PAndQ.jl

A computer algebra system for propositional logic

25 Sep 2022 16
JACC.jl

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

29 Jun 2023 21
ToyFHE.jl

Toy implementation of FHE algorithms

23 Aug 2019 93
Measurements.jl

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

17 May 2016 486
ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

03 Dec 2019 190
MultidimensionalTools.jl

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

30 Dec 2020 2
SpelledOut.jl

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

18 Oct 2020 15
FaceDetection.jl

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

05 Aug 2020 27
CodingTheory.jl

Pure Julia implementation of tools used in Coding Theory

05 Oct 2020 5
Turing.jl

Bayesian inference with probabilistic programming.

29 Apr 2016 2,033