8000 philderbeast (Phil de Joux) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View philderbeast's full-sized avatar

Organizations

@FAI-CIVL

Block or report philderbeast

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
Showing results

A deep-dive on the entire history of deep-learning

Jupyter Notebook 1,326 105 Updated Jul 16, 2024
Lean 3 Updated Oct 17, 2023

Advent of Code 2022 in Liquid Haskell

Haskell 5 Updated Dec 25, 2022

Implementation of Chromar in Haskell

Haskell 1 1 Updated May 27, 2022

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

TeX 3,838 219 Updated Jul 12, 2022

An APL-like programming language

BQN 963 63 Updated May 14, 2025

Extensions for Giraffe to support development with htmx

F# 79 1 Updated May 23, 2024

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

Haskell 86 19 Updated Dec 8, 2024

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

Nix 4 3 Updated Jul 24, 2021

Embedded specification language & model checker in Haskell

Haskell 173 12 Updated Apr 24, 2025

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

Haskell 621 43 Updated May 20, 2024

An interface for GHC type-checking plugins

Haskell 20 5 Updated Nov 28, 2024
Haskell 10 1 Updated Jul 11, 2023

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

JavaScript 48 12 Updated May 13, 2025

An arbitrary-precision differentiable programming language.

Haskell 36 6 Updated Jul 7, 2023

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

TypeScript 3,539 108 Updated Aug 6, 2024

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 300 48 Updated May 8, 2025
Haskell 5 Updated Aug 27, 2023

The Dart backend for Idris 2.

Idris 49 5 Updated Jul 4, 2021

Tools to make nix nicer to use

Python 314 35 Updated Apr 25, 2022

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

1,172 139 Updated Mar 7, 2025

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

Nix 24 3 Updated May 9, 2022

Setting up a Haskell development environment with Nix

20 2 Updated Sep 16, 2020

Command line tool for paragliding competitions and XC

C++ 5 1 Updated Mar 17, 2021

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

3,952 169 Updated May 12, 2025

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

Haskell 17 1 Updated Jun 21, 2015

A gently curated list of companies using Haskell in industry

969 140 Updated Apr 24, 2025

High precision scientific calculator with support for physical units

PureScript 3,177 127 Updated Feb 10, 2025

INTERCEPT GHCJS CCALL DISPATCH TO EMSCRIPTEN

JavaScript 7 Updated Aug 28, 2024
Next
0