Skip to content
View gjoncas's full-sized avatar

Block or report gjoncas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
14 stars written in HTML
Clear filter

Chinese translation of Learn you a Haskell for great good

HTML 454 105 Updated Jul 4, 2024

General-Purpose Computer Algebra System as an EDSL in Haskell

HTML 92 9 Updated Sep 7, 2024

A general form for complex data

HTML 54 4 Updated Jan 10, 2024

Macroeconomics at Claremont Graduate University

HTML 42 23 Updated Jan 15, 2019

materials for ESSLLI 2015 course: Monads and Natural Language

HTML 25 2 Updated Aug 12, 2015

I.I-XI of Spinoza's Ethics, formalized in Coq

HTML 18 2 Updated Jan 1, 2016

A semester long informal workshop looking at computational approaches to political philosophy

HTML 13 9 Updated Jul 28, 2015

D3 interactive wheel visualisation of Hegel's Science of Logic

HTML 11 2 Updated Mar 28, 2015

CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)

HTML 10 5 Updated Apr 25, 2018

Pataphysics; what the fuck?

HTML 9 1 Updated Dec 8, 2022

Mapping the Hegelian System - Following W.T. Stace

HTML 3 Updated May 16, 2016

Toads and Frogs combinatorial game by Richard Guy

HTML 1 Updated Oct 2, 2017

A research paper in R Markdown that assesses the Heckscher-Ohlin model's capacity to explain international economic inequality.

HTML 1 1 Updated Sep 22, 2015