GitHub topics: anf
Jobhdez/To-A-Normal-Form
a subset of a python like language transformed into a normal form
Language: Racket - Size: 58.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Language: C++ - Size: 572 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 64 - Forks: 18
Jobhdez/pine
compiles while loops, if expressions, print statements, addition, assignment, tuples to x86
Language: Haskell - Size: 172 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
jasiukiewicztymon/Whatsapp-bot-ANF
A Whats'app bot made with puppeteer library
Language: JavaScript - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0
ansible-collections/netapp 📦
Development area for Netapp collections
Language: Python - Size: 12.7 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 48 - Forks: 36
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.
Language: PowerShell - Size: 1.61 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 15
HisayoshiMuramatsu/APDOB
APDOB - Adaptive Periodic-Disturbance Observer
Language: C++ - Size: 823 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 6
Wrazlmumfp/anf_to_2xnf
Python tool for converting ANF to (2-)XNF.
Language: Python - Size: 3.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
ansible-collections/netapp.azure
Ansible collection to support Azure NetApp Files configuration.
Language: Python - Size: 2.64 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 3
mrkrd/spiral_ganglion
Auditory nerve fiber models for synaptic and electrical stimulation
Language: Python - Size: 195 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 2
lambdageek/wafl
a yummy wafl
Language: Haskell - Size: 18.6 KB - Last synced at: 8 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
turbolent/ralph-ilc2012
Paper and slides for the ILC 2012 submission about Ralph
Size: 2.47 MB - Last synced at: about 1 month ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 0
