Beast code in Giters

neurallambda's starred repositories

linux

Linux kernel source tree

Language:CNOASSERTION172977 79780

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMNOASSERTION26415 597 71484

unsloth

Finetune Llama 3, Mistral, Phi & Gemma LLMs 2-5x faster with 80% less memory

Language:PythonApache-2.011399 84 480

scientific-visualization-book

An open access book on scientific visualization using python and matplotlib

Language:PythonNOASSERTION10126 187 43

mistral-src

Reference implementation of Mistral AI 7B v0.1 model.

Language:Jupyter NotebookApache-2.08772 116 115

pyqtgraph

Fast data visualization and GUI tools for scientific / engineering applications

Language:PythonNOASSERTION3733 152 1249

helm

Emacs incremental completion and selection narrowing framework

Language:Emacs LispGPL-3.03348 95 2004

magicoder

Magicoder: Source Code Is All You Need

Language:PythonMIT1917 26 37

haskell-mode

Emacs mode for Haskell

Language:Emacs LispGPL-3.01311 51 963

ghcide

A library for building Haskell IDE tooling

Language:HaskellApache-2.0586 37 1

Functional-Design-and-Architecture

Code and materials for my book "Functional Design and Architecture"

Language:HaskellMIT467 37 3

concat

Compiling to Categories

Language:HaskellBSD-3-Clause431 29 50

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

Language:Haskell425 20 245

hydra-moe

Language:Python404 22 11

uniteai

Your AI Stack in Your Editor

Language:PythonApache-2.0229 10 6

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Language:Haskell193 13 308

graphmod

A utility for displaying the module dependencies of Haskell programs.

Language:HaskellNOASSERTION177 10 28

rhine

Haskell Functional Reactive Programming framework with type-level clocks

Language:Haskell107 9 145

ghci-color

colorize ghci output

Language:PowerShell71 7 3

refinery

⛏️ A refinement proof framework for haskell

Language:HaskellBSD-3-Clause68 7 11

linearmap-family

Purely-functional, coordinate-free linear algebra

Language:HaskellGPL-3.026 4 5

constrained-categories

Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds

Language:HaskellGPL-3.020 4 6

haskerwaul

Category theory concepts in type classes and instances.

Language:HaskellAGPL-3.019 3 1

Arrows2

Ideas for the next generation of Haskell's Arrow notation

Language:Haskell12 8 8

haskell-fortran

A demonstration connecting Fortran (and C) code to Haskell, and to HMatrix.

Language:HaskellBSD-2-Clause10 30

cda_machine_learners

Coeur D'Alene Machine Learners

Language:Python400

elvishjerricco.github.io

Language:CSS4 4 2

honeycomb-wai-haskell

Haskell: WAI integration for Honeycomb library

Language:HaskellApache-2.03 100

free-vector-spaces

Instantiate the classes from the vector-space package with the types from linear

Language:HaskellBSD-3-Clause3 4 2

comedify

Comedify is a Next.js application equipped with a conversational AI chatbot named ComicBot and a jokes/bits library.

Language:JavaScript3 10