Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Oct 25, 2024 - C++
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
An Azure Logic App that manages capacity based alert rules and automatically increases volume sizes to prevent your Azure NetApp Files volumes from running out of space.
Python tool for converting ANF to (2-)XNF.
A functional compiler which supports minimul feature of Racket and emits C++
A Whats'app bot made with puppeteer library
APDOB - Adaptive Periodic-Disturbance Observer
Auditory nerve fiber models for synaptic and electrical stimulation
Paper and slides for the ILC 2012 submission about Ralph
Add a description, image, and links to the anf topic page so that developers can more easily learn about it.
To associate your repository with the anf topic, visit your repo's landing page and select "manage topics."