Giters
Patrik Jansson (patrikja)

patrikja

Geek Repo

93

followers

67

following

173

stars

Company:Chalmers University of Technology

Location:Göteborg, Sweden

Home Page:https://patrikja.owlstown.net/

Twitter:@patrikja

Github PK Tool:Github PK Tool

Organizations
DSLsofMath

Patrik Jansson's starred repositories

generics

Language:AgdaLicense:MITStargazers:21Issues:0Issues:0

gphotos-uploader-cli

Command line tool to mass upload media folders to your google photos account(s) (Mac OS / Linux)

Language:GoLicense:MITStargazers:663Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:432Issues:0Issues:0

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

Language:HaskellStargazers:68Issues:0Issues:0

autobound

AutoBound automatically computes upper and lower bounds on functions.

Language:PythonLicense:Apache-2.0Stargazers:346Issues:0Issues:0

asstprofbook

Github repo backing website for the CS Assistant Professor Handbook

Language:HTMLLicense:NOASSERTIONStargazers:25Issues:0Issues:0

BoFunComplexity

Associated code for paper "Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials" by Julia and Patrik Jansson.

Language:MathematicaLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

MusicTools

Language:AgdaLicense:MITStargazers:40Issues:0Issues:0

DSLsofMath

Domain-Specific Languages of Mathematics

Language:HaskellLicense:BSD-3-ClauseStargazers:404Issues:0Issues:0

haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:13Issues:0Issues:0

ComplexityOfBooleanFunctions

Language:MathematicaStargazers:1Issues:0Issues:0

HasCal

Haskell embedding of PlusCal

Language:HaskellLicense:BSD-3-ClauseStargazers:59Issues:0Issues:0

PolyP

PolyP - a polytypic programming language

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2427Issues:0Issues:0

py-feat

A sloppy implementation of FEAT (Functional Enumeration of Algebraic Types) in python.

Language:PythonStargazers:4Issues:0Issues:0

hlint

Haskell source code suggestions

Language:HaskellLicense:NOASSERTIONStargazers:1442Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1332Issues:0Issues:0

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:351Issues:0Issues:0

DREAM

The Disruption Runaway Electron Analysis Model

Language:C++License:MITStargazers:21Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2397Issues:0Issues:0

BirdLists

Language:AgdaLicense:GPL-3.0Stargazers:1Issues:0Issues:0

gf-rgl

Grammatical Framework's Resource Grammar Library (RGL)

Language:Grammatical FrameworkLicense:NOASSERTIONStargazers:1Issues:0Issues:0

VossII

The source code to the Voss II Hardware Verification Suite

Language:VerilogLicense:Apache-2.0Stargazers:52Issues:0Issues:0

TypingMachineLearning

Language:HaskellStargazers:1Issues:0Issues:0

bottomquickspec

QuickSpecing bottoms!

Language:HaskellStargazers:3Issues:0Issues:0

sfeeca

Symbolic Functional FEEC

Language:TeXStargazers:1Issues:0Issues:0

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:AgdaStargazers:262Issues:0Issues:0

DSL

My journey through the course DAT326 in Domain Specific Languages of Mathematics.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs

Language:JavaScriptLicense:MITStargazers:15Issues:0Issues:0

MPRI-2.4-DTP

MPRI-2.4 Dependently-typed Functional Programming

Language:CoqStargazers:32Issues:0Issues:0