Phil de Joux (philderbeast)

philderbeast

Geek Repo

Company:@blockscope

Location:Val-David, Quebec, Canada

Home Page:blockscope.com

Twitter:@philderbeast

Github PK Tool:Github PK Tool


Organizations
FAI-CIVL

Phil de Joux's starred repositories

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

Language:TeXLicense:MITStargazers:3733Issues:37Issues:3

sql.js-httpvfs

Hosting read-only SQLite databases on static file hosters like Github Pages

Language:TypeScriptLicense:Apache-2.0Stargazers:3426Issues:34Issues:44

insect

High precision scientific calculator with support for physical units

Language:PureScriptLicense:MITStargazers:3162Issues:27Issues:256

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

extended-exercise-windows

A list of startups that have employee-friendly terms for exercising your options past 90 days.

haskell-companies

A gently curated list of companies using Haskell in industry

BQN

An APL-like programming language

Language:BQNLicense:ISCStargazers:865Issues:32Issues:35

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:571Issues:19Issues:157

nox

Tools to make nix nicer to use

Language:PythonLicense:MITStargazers:305Issues:10Issues:62

learn-you-a-haskell-notebook

Jupyter adaptation of Learn You a Haskell for Great Good!

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:289Issues:7Issues:16

spectacle

Embedded specification language & model checker in Haskell

Language:HaskellLicense:Apache-2.0Stargazers:176Issues:22Issues:18

ifcxt

constraint level if statements

Language:HaskellLicense:BSD-3-ClauseStargazers:110Issues:9Issues:3

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

Giraffe.Htmx

Extensions for Giraffe to support development with htmx

Language:F#License:MITStargazers:75Issues:2Issues:4

idris2dart

The Dart backend for Idris 2.

Language:IdrisLicense:NOASSERTIONStargazers:47Issues:9Issues:7

igc-xc-score

A scoring program for gliding competitions striving for 100% accuracy and determinism

Language:JavaScriptLicense:LGPL-3.0Stargazers:42Issues:6Issues:20

smooth

An arbitrary-precision differentiable programming language.

Language:HaskellLicense:BSD-3-ClauseStargazers:34Issues:5Issues:2

reflex-stone

Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.

Language:NixLicense:BSD-3-ClauseStargazers:24Issues:4Issues:7

setting-up-a-haskell-development-environment-with-nix

Setting up a Haskell development environment with Nix

ghc-tcplugin-api

An interface for GHC type-checking plugins

cabal-rangefinder

A tool to fill in the version ranges in a cabal file.

Language:HaskellLicense:UnlicenseStargazers:17Issues:5Issues:26

software-consulting-documents

Software Consulting Legal Documents

License:CC0-1.0Stargazers:16Issues:5Issues:0

hs-foreign-emscripten

INTERCEPT GHCJS CCALL DISPATCH TO EMSCRIPTEN

Language:JavaScriptStargazers:7Issues:4Issues:0

igclib

Command line tool for paragliding competitions and XC

Language:C++License:GPL-3.0Stargazers:5Issues:3Issues:3
Language:HaskellStargazers:5Issues:0Issues:0

aoc-lh

Advent of Code 2022 in Liquid Haskell

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

template-haskell-nix

The Haskell with Nix template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

Language:NixLicense:MITStargazers:3Issues:0Issues:0

Chromar

Implementation of Chromar in Haskell