christiaanb/iovivatartikel

Size: 97.7 KB - Last synced: 13 days ago - Pushed: about 13 years ago - Stars: 2 - Forks: 0

christiaanb/stackage Fork of commercialhaskell/stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language: Shell - Size: 20 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

christiaanb/circuit-verse

Language: Haskell - Size: 9.77 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

christiaanb/th-desugar Fork of goldfirere/th-desugar

Language: Haskell - Size: 271 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

christiaanb/th-expand-syns Fork of DanielSchuessler/th-expand-syns

Expands type synonyms in Template Haskell ASTs

Language: Haskell - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

christiaanb/ghc-typelits-gcd

Type-level GCD operation, and type-checker plugin

Language: Haskell - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

christiaanb/contranomy

Language: Haskell - Size: 154 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 15 - Forks: 4

christiaanb/vhdl

VHDL AST and Pretty Printer

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago - Stars: 5 - Forks: 1

christiaanb/clash-wavedrom Fork of expipiplus1/clash-wavedrom

Language: Haskell - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

christiaanb/cfm Fork of cbiffle/cfm

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

Size: 651 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

christiaanb/SoOSiM

Abstract full system simulator

Language: Haskell - Size: 336 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 8 - Forks: 2

christiaanb/clash-tryout

An easier to maintain clash compiler

Language: Haskell - Size: 414 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0

christiaanb/ghc-proposals Fork of ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language: Python - Size: 2.29 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

christiaanb/clash-issue-1686 Fork of gergoerdi/clash-issue-1686

https://github.com/clash-lang/clash-compiler/issues/1686

Size: 37.1 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

christiaanb/hint Fork of haskell-hint/hint

Runtime Haskell interpreter

Size: 407 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

christiaanb/tfp

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

christiaanb/cabal-doctest Fork of haskellari/cabal-doctest

A Setup.hs helper for doctest running

Language: Haskell - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

christiaanb/pythondata-cpu-contranomy

Language: Verilog - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

christiaanb/litex Fork of enjoy-digital/litex

Build your hardware, easily!

Size: 11.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

christiaanb/riscv-formal Fork of SymbioticEDA/riscv-formal

RISC-V Formal Verification Framework

Size: 729 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

christiaanb/clash-riscv Fork of AnandSankaran/clash-riscv

A RiscV processor implementing the RV32I instruction set written in Clash

Size: 111 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

christiaanb/edalize Fork of olofk/edalize

An abstraction library for interfacing EDA tools

Size: 357 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

christiaanb/DE1-Cyclone-II-FPGA-Board-Support-Package

Language: Haskell - Size: 90.8 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 8 - Forks: 0

christiaanb/th-lift Fork of RyanGlScott/th-lift

Derive Template Haskell's Lift class for datatypes.

Language: Haskell - Size: 60.5 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

christiaanb/th-lift-instances Fork of bennofs/th-lift-instances

Lift instances for common haskell data types

Language: Haskell - Size: 65.4 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

christiaanb/zfoh.ch Fork of zfoh/zfoh.ch

Our homepage

Language: JavaScript - Size: 3.56 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

christiaanb/clash

my branch of clash

Language: Haskell - Size: 929 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 18 - Forks: 1

christiaanb/haskell-src-exts Fork of haskell-suite/haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

Language: Haskell - Size: 18.2 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

christiaanb/hawk

Haskell for Microprocessor Specifications

Language: Haskell - Size: 3.85 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

christiaanb/text Fork of haskell/text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

Language: Haskell - Size: 2.29 MB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

christiaanb/clash-prelude-idris

Size: 105 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 2 - Forks: 0

christiaanb/haddock Fork of haskell/haddock

Haskell Documentation Tool

Language: HTML - Size: 15.1 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

christiaanb/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 11.3 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

christiaanb/Haskell-FunctionOffloading Fork of jjvanvossen/Haskell-FunctionOffloading

Proof of concept for a thesis on the offloading of Haskell functions onto an FPGA

Language: Haskell - Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

christiaanb/clash-cosim Fork of jgjverheij/clash-cosim

Co-simulation between CλaSH and standardized HDLs (only Verilog currently)

Language: C - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

christiaanb/mmblog

Language: CSS - Size: 425 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

christiaanb/uu-parsinglib

Language: Haskell - Size: 31.3 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 1 - Forks: 0

christiaanb/IfaceError

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

christiaanb/singletons Fork of goldfirere/singletons

The repo for the singletons Haskell library

Language: Haskell - Size: 2.44 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

christiaanb/christiaanb.github.io

ga-pageviews

Language: CSS - Size: 659 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

christiaanb/th-reify-many Fork of mgsloan/th-reify-many

Recurseively reify template haskell datatype info

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

christiaanb/DepCore

Language: Haskell - Size: 160 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

christiaanb/clash-prelude-playground

Functions that might be added to the clash-prelude

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

christiaanb/tasty-program Fork of jstolarek/tasty-program

Run tasty tests that check whether a program executes correctly

Language: Haskell - Size: 106 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

christiaanb/tasty Fork of UnkindPartition/tasty

Modern and extensible testing framework for Haskell

Language: Haskell - Size: 507 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

christiaanb/ghc Fork of ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])

Language: Haskell - Size: 158 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

christiaanb/concurrent-supply Fork of ekmett/concurrent-supply

A fast globally unique variable supply with a pure API

Language: Haskell - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

christiaanb/clash-compiler Fork of clash-lang/clash-compiler

CAES Language for Synchronous Hardware

Language: Haskell - Size: 5.29 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

christiaanb/clash-prelude Fork of clash-lang/clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

Language: Haskell - Size: 2.72 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

christiaanb/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Language: Haskell - Size: 23.4 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1

christiaanb/unbound-generics Fork of lambdageek/unbound-generics

A reimplementation of Unbound using GHC Generics.

Language: Haskell - Size: 201 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

christiaanb/tfvec

Fixed Size Vectors using type-family based Numerals

Language: Haskell - Size: 85.9 KB - Last synced: about 1 year ago - Pushed: over 14 years ago - Stars: 1 - Forks: 0

christiaanb/icpfc2014hw

Hardware implementation of the ICFP 2014 contest

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

christiaanb/NewCore

Language: Haskell - Size: 168 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

christiaanb/clash-paper

Language: Haskell - Size: 383 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago - Stars: 1 - Forks: 0

christiaanb/SoOSiM-components

Language: Haskell - Size: 327 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 1

christiaanb/clash-bin

ghc(i) binary loaded with clash library

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 2 - Forks: 0

christiaanb/SoOSiM-cli

Language: Haskell - Size: 141 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

christiaanb/haskell12

Experiance Report on SoOSiM

Language: Haskell - Size: 1.2 MB - Last synced: 11 months ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

christiaanb/haskell09talk

Presentation for Haskell symposium '09

Language: Haskell - Size: 1.57 MB - Last synced: about 1 year ago - Pushed: over 14 years ago - Stars: 1 - Forks: 0

christiaanb/glfont

OpenGL font-rendering using FreeType

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0

christiaanb/clashtalk

Language: Haskell - Size: 406 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0

christiaanb/panacea

Many-Core Design and Evaluation Environment

Size: 145 KB - Last synced: about 1 year ago - Pushed: about 13 years ago - Stars: 1 - Forks: 0

christiaanb/waters2012

Language: Haskell - Size: 305 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

christiaanb/fpprac

Functioneel Programmeren Practicum

Language: Haskell - Size: 184 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

christiaanb/GLFW-b Fork of bsl/GLFW-b

Language: C - Size: 247 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0

christiaanb/SoOSiM-ui Fork of ivanperez-keera/SoOSiM-ui

A Graphical User Interface for the SoOSiM simulator

Language: Haskell - Size: 1.64 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0