Awesome Open Source

Programming Languages

Search results for haskell automaton

18 search results found

Cellularautomata ⭐ 129

a collection of cellular automata written in Haskell with Diagrams

Botworld ⭐ 120

A cellular automaton for studying self-modifying agents which are embedded in their environment

Falling Turnip ⭐ 43

falling sand game with regular parallel arrays.

Implementation of All ▲lgorithms in Haskell Programming Language

Demonstrating comonad transformers.

Language Toolkit 2 ⭐ 19

A set of tools for analyzing languages via logic and automata

A generic 2D cellular automaton simulator

Regex Type ⭐ 13

Regular expression matching of Haskell types

Nominal Lstar ⭐ 10

Code for "Learning nominal automata"

Game Of Life ⭐ 10

The game of life is a simulation of cellular automaton.

Digital_henge ⭐ 9

celestial automaton

Simulations of deterministic finite automata in different languages!

Finite Automata and Regular Expressions for Regular Languages in Haskell

Regex To Dfa ⭐ 5

Implementation of algorithm to convert Regular Expression directly to a DFA.

Haskell Library for Deterministic and Non-deterministic Finite Automa

Turingmachine ⭐ 5

An implementation of Turing Machine and Automaton

Solidity Static Analysis ⭐ 5

Static analysis for Solidity smart contract with properties as symbolic automata.

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.