Moo. empty library: Ceci n'est pas une packagehero- club- five- tenets library and program: Think back of the five tenets of hero clubmonadacme library: The Acme and Acme. T monads. plumbers library: Pointless plumbing combinatorsroller library and program: Playing with applicatives and dice! Extended yes command to reproduce phrases in Yes! Hey Guys im new to C programming and I was given an excercise by my teacher to execute the following : Write a program that declares a 12 x 12 array of characters. Place X’s in every other element. I'm not sure what will be in the char array after initialization in the following ways. Precure 5. adjunctions library: Adjunctions and representable functorsstratux library and test: A library for stratuxstratux- http library and test: A library for using HTTP with stratuxstratux- types library and test: A library for reading JSON output from stratuxstratux- websockets library and test: A library for using websockets with stratuxattoparsec- arff library: An ARFF file parser using Attoparsecbpann library: backpropagation neuronal network. Carneades. DSL library: An implementation and DSL for the Carneades argumentation model. Carneades. Into. Dung library and program: A translation from the Carneades argumentation model into Dung's AFs. Framework for artificial life experiments. Discrete constraint satisfaction problem (CSP) solver. CV library: Open. CV based machine vision librarycv- combinators library and program: Functional Combinators for Computer Vision. Dung library and program: An implementation of the Dung argumentation frameworks. Etage library: A general data- flow framework. GA library: Genetic algorithm librarygenprog library: Genetic programming library. Has. GP library: A Haskell library for inference using Gaussian processes. Haskell. NN library: High Performance Neural Network in Haskell. Ha. VSA library and program: An implementation of the Version Space Algebra learning framework. A genetic programming based on tree structure. Haskell binding to the FANN libraryhgalib library: Haskell Genetic Algorithm Libraryhnn library: A reasonably fast and simple neural network library. HOpen. CV library and program: A binding for the Open. CV computer vision libraryhopfield library, programs and test: Hopfield Networks, Boltzmann Machines and Clustershpylos program: AI of Pylos game with GLUT interface. HSGEP library and programs: Gene Expression Programming evolutionary algorithm in Haskellhuff library and program: A fast- foward- based plannerh. VOIDP library and program: Optimal variable selection in chain graphical model. Fast artifical neural networkskeera- posture program: Get notifications when your sitting posture is inappropriate. Hidden Markov processes. Minesweeper simulation using neural networksmoo library and test: Genetic algorithm libraryneet library: A NEAT library for Haskellnondeterminism library and test: A monad and monad transformer for nondeterministic computations. Raw Haskell bindings to Open. CV > = 2. 0sandlib library: SAND data serialization and manipulation librarysimple- genetic- algorithm library and program: Simple parallel genetic algorithm implementationsimple- genetic- algorithm- mr library and program: Simple parallel genetic algorithm implementationsimple- neural- networks library and programs: Simple parallel neural networks implementation. Simple. EA library: Simple evolutionary algorithm framework. Soccer. Fun library and program: Football simulation framework for teaching functional programming. Soccer. Fun. GL library and programs: Open. GL UI for the Soccer. Fun frameworksvm library: A support vector machine written in Haskellsvm- simple library: Medium level, simplified, bindings to libsvmagum library and program: Unification and Matching in an Abelian Groupalgebra library: Constructive abstract algebraalgebraic library: General linear algebra structures. Complex numbers, quaternions, octonions, sedenions, etc. Haskell API to clipper (2d polygon union/intersection/xor/clipping API)cmu library and program: Unification in a Commutative Monoidconstructive- algebra library: A library of constructive algebra. Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, .. Braid representations in Haskellfinite- field library and test: Finite Fieldsgasp library: A framework of algebraic classesgroups library: Haskell 9. Some utility functions for haskell- eigen libraryinteger- gmp library: Integer library based on GMPlinear library and tests: Linear Algebralinear- accelerate library: Instances to use linear vector spaces on accelerate backendslinear- grammar library and test: A simple grammar for building linear equations and inclusive inequalities. De- bruijn)egison library, program, test and benchmark: Programming language with non- linear pattern- matching against non- free dataegison- tutorial program: A tutorial program for the Egison programming languageepic library and program: Compiler for a simple functional languagefst library, program and test: Finite state transducersfuncons- tools library and program: A modular interpreter for executing funcons. Fungi program: Funge- 9. Haskellghci- haskeline program: An implementation of ghci using the Haskeline line- input library. Interactive Haskell interpreter in a browser. A simply typed lambda calculus interpreter, written with GADTsgraph- rewriting- lambdascope program: Lambdascope, an optimal evaluator of the lambda calculus, .. Two evalutors of the SKI combinator calculus as interactive graph rewrite systemsgraph- rewriting- trs program: Evaluate first- order applicative term rewrite systems interactively using graph reductiongraph- rewriting- ww program: .. HARM library and programs: A simple ARM emulator in haskell. Haschoo program: Minimalist R5. RS Scheme interpreterhaskeem program: A small scheme interpreterhelisp program: An incomplete Elisp compilerhiccup program: Relatively efficient Tcl interpreter with support for basic operationshint library and test: Runtime Haskell interpreter (GHC API wrapper)hint- server library: A server process that runs hint. Java. Script Parserh. LLVM library and program: A library for analyzing and transforming LLVM (3. Haskell One- liner Evaluatorhoopl library and test: A library to support dataflow analysis and optimizationhusk- scheme library and programs: R5. RS Scheme interpreter, compiler, and library. Extra libraries for the husk Scheme platform. A implementation of a type- checker for Lambda- Hidris library, programs and test: Functional Programming Language with Dependent Types. INblobs program: Editor and interpreter for Interaction Netslambda- ast library: Lambda Calculi Abstract Syntax Treeslambdacube program: A simple lambda cube type checker. Lambda. Shell program: Simple shell for evaluating lambda expressionslinear- accelerate library: Instances to use linear vector spaces on accelerate backendsllvm library: Bindings to the LLVM compiler toolkit. FFI bindings to the LLVM compiler toolkit. Utilities for bindings to the LLVM compiler toolkit. Utility functions for the llvm interfacellvm- ffi library and program: FFI bindings to the LLVM compiler toolkit. Tools for maintaining the llvm- ffi packagellvm- general library and test: General purpose LLVM bindingsllvm- general- pure library and test: Pure Haskell LLVM functionality (no FFI). Quasi. Quoting llvm code for llvm- generalllvm- ht library: Bindings to the LLVM compiler toolkit with some custom extensions. Bindings to the LLVM compiler toolkit using type families. The Lazy Virtual Machine (LVM). The Lazy Virtual Machine (LVM) Runtime System. A functional programming language focused around maps. NXTDSL library and program: Generate NXC Code from DSLomega program: A purely functional programming language and a proof systempeg program: a lazy non- deterministic concatenative programming languagepesca program: Proof Editor for Sequent Calculuspi- forall library and program: Demo implementation of typechecker for dependently- typed languagepiet library and program: A Piet interpreterrisc. Reduced instruction set i. A Haskell implementation of the SECD abstract machinesecdh library and program: SECDH Machine Simulatorshell- monad library: shell monadsimple- atom library: Atom (or symbol) datatype for fast comparision and sorting. Simplified Pascal language to SSVM compilersimple- stacked- vm library and program: Simple stacked virtual machine: assembler, disassembler, bytecode interpretersoyuz library and program: DCPU- 1. Notch's 0x. 10c game. Reusable static analysis interfaces and modules. A library for creating Shockwave Flash (SWF) filestempus program: Interpreter for the FRP language Tempustextmatetags program: A simple Haskell program to provide tags for Haskell code completion in Text. Mate. Tiny. Launchbury library: Simple implementation of call- by- need using Launchbury's semanticstransf library and program: Text transformer and interpreter. Type. Illuminator program: Type. Illuminator is a prototype tool exploring debugging of type errors/unbound library and test: Generic support for programming with names and bindersunification- fd library: Simple generic unification algorithms. Unlambda interpreteruu- cco library: Utilities for compiler construction: core functionalityuu- cco- examples programs: Utilities for compiler construction: example programsuu- cco- hut- parsing library: Utilities for compiler construction: Feedback wrapper around parser in uulibuu- cco- uu- parsinglib library: Utilities for compiler construction: Feedback wrapper around parser in uu- parsinglibvintage- basic program: Interpreter for microcomputer- era BASICwhitespace program: Whitespace, an esoteric programming language. Yet Another Brainfuck Interpreterzot program: Zot languagehigherorder library: Some higher order functions for Bool and . Also provides generic.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
January 2017
Categories |