Pinned Repositories
alex
A lexical analyser generator for Haskell
alga
Algebraic graphs
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
cabal
Official upstream development repository for Cabal and cabal-install
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Idris2
A purely functional programming language with first class types
sentanalysis-recipes
Prediction of user ratings for recipes via sentiment analysis and classification using NLP and ML techniques
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
alinab's Repositories
alinab/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
alinab/alex
A lexical analyser generator for Haskell
alinab/alga
Algebraic graphs
alinab/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
alinab/cabal
Official upstream development repository for Cabal and cabal-install
alinab/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
alinab/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
alinab/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
alinab/dhall-haskell
Maintainable configuration files
alinab/dhall-lang
Maintainable configuration files
alinab/Idris2
A purely functional programming language with first class types
alinab/diff-so-fancy
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:
alinab/dune
A composable build system for OCaml.
alinab/elle
Black-box transactional safety checker based on cycle detection
alinab/Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
alinab/frap
Formal Reasoning About Programs
alinab/haddock
Haskell Documentation Tool
alinab/happy
The Happy parser generator for Haskell
alinab/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
alinab/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
alinab/haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
alinab/Haskell-Turtle-Library
Shell programming, Haskell style
alinab/hlint
Haskell source code suggestions
alinab/hspec
A Testing Framework for Haskell
alinab/jepsen
A framework for distributed systems verification, with fault injection
alinab/liquidhaskell
Liquid Types For Haskell
alinab/llvm-hs
Haskell bindings for LLVM
alinab/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
alinab/network
Low-level networking interface
alinab/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!