Projects in Awesome Lists tagged with anf
A curated list of projects in awesome lists tagged with anf .
https://github.com/meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf anf-simplifications cnf cryptoanalysis dimacs sat
Last synced: 18 Jan 2026
https://github.com/ANFTechTeam/ANFCapacityManager
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.
anf azure capacity-management files metric-alert-rules netapp
Last synced: 07 May 2025
https://github.com/ansible-collections/netapp.azure
Ansible collection to support Azure NetApp Files configuration.
anf ansible ansible-collection azure cvs netapp
Last synced: 13 Apr 2025
https://github.com/mrkrd/spiral_ganglion
Auditory nerve fiber models for synaptic and electrical stimulation
anf auditory auditory-nerve auditory-nerve-fiber computational-neuroscience hearing model neuron spiral-ganglion
Last synced: 09 Jul 2026
https://github.com/turbolent/ralph-ilc2012
Paper and slides for the ILC 2012 submission about Ralph
anf compilation compiler dylan javascript lisp ralph
Last synced: 28 Mar 2025
https://github.com/lucasmcclean/serin
ML-style language with bidirectional typing, closures, and WASM compilation.
anf bidirectional-typechecking closures programming-language wasm
Last synced: 03 Jun 2026
