GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → namin → logically

namin / logically

Licence: other
explorations in core.logic

Programming Languages

clojure
4091 projects

Labels

abstract-interpretationpaper-implementationsbinders

Projects that are alternatives of or similar to logically

Alae
[CVPR2020] Adversarial Latent Autoencoders
Stars: ✭ 3,178 (+2842.59%)
Mutual labels:  paper-implementations
sturdy
Sturdy is a library for developing sound static analyses in Haskell.
Stars: ✭ 49 (-54.63%)
Mutual labels:  abstract-interpretation
selective search
Python implementation of selective search
Stars: ✭ 40 (-62.96%)
Mutual labels:  paper-implementations
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+66.67%)
Mutual labels:  abstract-interpretation
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (+5192.59%)
Mutual labels:  abstract-interpretation
mrnet
Building an ACL tear detector to spot knee injuries from MRIs with PyTorch (MRNet)
Stars: ✭ 98 (-9.26%)
Mutual labels:  paper-implementations
Awesome CV Research
No description or website provided.
Stars: ✭ 18 (-83.33%)
Mutual labels:  paper-implementations
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-81.48%)
Mutual labels:  abstract-interpretation
ocaml-bindlib
Efficient binder representation in OCaml
Stars: ✭ 39 (-63.89%)
Mutual labels:  binders
Lyra
No description or website provided.
Stars: ✭ 23 (-78.7%)
Mutual labels:  abstract-interpretation
SixtyPical
A 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (-76.85%)
Mutual labels:  abstract-interpretation
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (-73.15%)
Mutual labels:  abstract-interpretation
sasi
Signedness-Agnostic Strided-Interval
Stars: ✭ 32 (-70.37%)
Mutual labels:  abstract-interpretation
Pytorch Vae
A Collection of Variational Autoencoders (VAE) in PyTorch.
Stars: ✭ 2,704 (+2403.7%)
Mutual labels:  paper-implementations
dgcnn
Clean & Documented TF2 implementation of "An end-to-end deep learning architecture for graph classification" (M. Zhang et al., 2018).
Stars: ✭ 21 (-80.56%)
Mutual labels:  paper-implementations
SAnD
[Implementation example] Attend and Diagnose: Clinical Time Series Analysis Using Attention Models
Stars: ✭ 39 (-63.89%)
Mutual labels:  paper-implementations
soap
🎯 soap - Structural Optimisation of Arithmetic Programs
Stars: ✭ 21 (-80.56%)
Mutual labels:  abstract-interpretation
CycleGAN
A simple code of CycleGAN which is easy to read is implemented by TensorFlow
Stars: ✭ 21 (-80.56%)
Mutual labels:  paper-implementations
sai
Staged Abstract Interpreters
Stars: ✭ 58 (-46.3%)
Mutual labels:  abstract-interpretation
Plant-Disease-Identification-using-CNN
Plant Disease Identification Using Convulutional Neural Network
Stars: ✭ 89 (-17.59%)
Mutual labels:  paper-implementations
View All Similar Projects ➔

logically

Explorations of logic programming in Clojure's core.logic.

Sources of inspiration

The Art of Prolog

  • Chapter 17: Interpreters
    • 17.1: Interpreters for Finite State Machines (src/test)
    • 17.2: Meta-Interpreters (src/test)
    • 17.3: Enhanced Meta-Interpreters for Debugging (src/test)

Prolog Programming for Artificial Intelligence

  • Chapter 25: Meta-Programming
    • 25.6: Explanation-based generalization (src/test)

αProlog for nominal logic programming

  • Regular expressions and automata (src/test)
  • Symbolic differentiation (src/test)
  • The pi-calculus operational semantics (src/test)
  • Cryptographic authentication protocols (Needham-Schroeder(-Lowe)) (src/test)

Meta-Circular Abstract Interpretation

  • 2 Interpretation and Abstraction (src/test)
  • 3 Concrete Semantics and Interpreters
    • 3.1 Observing the Success Set (src/test)
    • 3.2 Observing answers (src/test)
    • 3.3 Observing calls (src/test)
    • 3.4 Observing program points (src/test)
  • Meta-Circular Abstract Interpretation
    • goal independent analysis (src/test)
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].