Skip to content
View brrmorre's full-sized avatar

Block or report brrmorre

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

Starred repositories

Showing results

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Common Lisp 1,207 73 Updated Jan 28, 2025

An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…

Python 1,068 58 Updated Feb 3, 2025

A collection of awesome cooperative tech companies and projects

157 11 Updated Dec 30, 2023

FOSSi Foundation Website

HTML 17 44 Updated Oct 5, 2024

Functions for folding threads in mu4e headers view

Emacs Lisp 136 12 Updated May 10, 2023

A dashboard for mu4e (mu for emacs)

Emacs Lisp 470 43 Updated Jan 22, 2024

maildir indexer/searcher + emacs mail client + guile bindings

C++ 1,632 390 Updated Feb 2, 2025

GPL Electronic Design Automation

C 215 38 Updated Dec 25, 2024
Scheme 19 2 Updated Dec 23, 2024

Lokke: Clojure for Guile

Scheme 202 11 Updated Mar 18, 2024

The full power of R in Haskell.

Haskell 587 47 Updated Oct 10, 2024

Compiling Agda code to readable Haskell

Agda 181 41 Updated Jan 24, 2025

A new Categories library for Agda

Agda 374 70 Updated Jan 29, 2025

The Agda standard library

Agda 600 242 Updated Jan 30, 2025

An introduction to programming language theory in Agda

Agda 1,404 326 Updated Jan 24, 2025

White-box automation for Lean 4

Lean 230 29 Updated Jan 29, 2025

💧 Liquid Tensor Experiment

Lean 188 15 Updated Jan 23, 2024

The user home repository for the Mathematics in Lean tutorial.

HTML 294 202 Updated Jan 20, 2025

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 279 113 Updated Feb 2, 2025

The math library of Lean 4

Lean 1,704 368 Updated Feb 3, 2025

Library for computing persistent homology

C++ 149 31 Updated Feb 2, 2025

A Lean Persistent Homology Library for Python

C++ 285 62 Updated Nov 25, 2024

A Topology Layer for Machine Learning : Persistent Homology + Features for PyTorch

Python 381 77 Updated Feb 22, 2024

Repository for continued development of GENESIS 2.4 neural simulator

C 37 13 Updated Nov 30, 2021

NEURON Simulator

C++ 423 119 Updated Feb 2, 2025

Formalisation of Church Rosser Theorem

Agda 8 2 Updated Dec 31, 2019

Distributed High-Performance Symbolic Regression in Julia

Julia 665 95 Updated Feb 3, 2025

Implementing techniques in persistent homology for complex spaces, including fractal sets, non-smooth spaces, and singular varieties.

Python 1 Updated Oct 29, 2024

Open Logic FPGA Standard Library

VHDL 423 38 Updated Jan 28, 2025

Back up your device without vendor lock-ins, using insecure software or root. Supports encryption and compression out of the box. Works cross-platform.

CSS 863 44 Updated Jan 25, 2025
Next
Showing results