Explore projects

C

Backx,S.D. (Sytse) / concurren-REEEEEE

0

Updated Nov 26, 2020

0 0 0 0

Updated Nov 26, 2020
G

Program Verification 2020 - team 5 / GCL and Z3 Project skeleton

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
A

Prasetya, S.W.B. (Wishnu) / APSL
GNU General Public License v3.0 only

0

Updated Sep 25, 2020

0 0 0 1

Updated Sep 25, 2020
A

Arjan Adriaanse / accelerate-ad

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
M

Arjan Adriaanse / mcpd-ad
GNU General Public License v3.0 only

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
P

Wijgers,B. (Bart) / psv-practical

0

Updated Nov 10, 2019

0 0 0 0

Updated Nov 10, 2019
A

martijn / accelerate
BSD 3-Clause "New" or "Revised" License

0

Updated Oct 10, 2019

0 0 0 0

Updated Oct 10, 2019
H

martijn / heat-transfer

0

Updated Sep 27, 2019

0 0 0 0

Updated Sep 27, 2019
T

martijn / thesis-proposal

0

Updated Jul 26, 2019

0 0 0 0

Updated Jul 26, 2019
A

martijn / accelerate-io
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 23, 2019

0 0 0 0

Updated Jul 23, 2019
A

martijn / accelerate-llvm
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 12, 2019

0 0 0 0

Updated Jul 12, 2019
S

martijn / spatial-ecology-accelerate
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 01, 2019

0 0 0 0

Updated Jul 01, 2019
H

Maarten van den Berg / HPTTS
MIT License

Haskell Project Time Tracking System

0

Updated Apr 19, 2019

0 0 0 1

Updated Apr 19, 2019
M

Gil,H.J.G.A. (Hugo) / mcpd-project
MIT License

SQL deeply embedded in Haskell

0

Updated Mar 26, 2019

0 0 0

Updated Mar 26, 2019
J

impresshs / javawlp
GNU General Public License v3.0 only

0

Updated Feb 12, 2019

0 0 0 1

Updated Feb 12, 2019
L

Buenen,F.W.M. (Felix) / LambdaWars_FP

0

Updated Mar 04, 2018

0 0 0

Updated Mar 04, 2018
F

Weyne,J. (Jasper) / FP-Assignment5
BSD 3-Clause "New" or "Revised" License

0

Updated Dec 23, 2017

0 0

Updated Dec 23, 2017
Q

Alejandro Serrano Mena / quique

The Quique experimental compiler

0

Updated Nov 24, 2017

0 0 0 0

Updated Nov 24, 2017
F

Niels / FP_Game
BSD 3-Clause "New" or "Revised" License

End game for functional programming

0

Updated Nov 12, 2017

0 0 0 0

Updated Nov 12, 2017
F

Prasetya,N.G.W.Y. (Naraenda) / fp-game

0

Updated Nov 12, 2017

0 0 0

Updated Nov 12, 2017