chrisuehlinger/LambdaBubblePop external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

chrisuehlinger/LambdaBubblePop

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/chrisuehlinger/LambdaBubblePop)

Close

chrisuehlinger / LambdaBubblePopView on GitHubMore

• External links
• Readme badge

☆49Nov 15, 2016Updated 9 years ago

Alternatives and similar repositories for LambdaBubblePop

Users that are interested in LambdaBubblePop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• projectdeltasea / projectdelta

  View on GitHub
  ☆22Dec 23, 2013Updated 12 years ago
• stevekrouse / hs.js

  View on GitHub
  ☆41Aug 9, 2014Updated 12 years ago
• goudreinette / lisp

  View on GitHub
  My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.
  ☆12Aug 8, 2017Updated 9 years ago
• rikusalminen / funfun

  View on GitHub
  A funny toy programming language project
  ☆29Feb 9, 2013Updated 13 years ago
• pa-ba / McCarthy-Painter

  View on GitHub
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Aug 22, 2017Updated 8 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• darius / mccarthy-to-bryant

  View on GitHub
  Propositional logic in terms of if-then-else
  ☆15Jul 15, 2017Updated 9 years ago
• MassD / mongo

  View on GitHub
  An ocaml driver for mongodb
  ☆53Dec 10, 2021Updated 4 years ago
• akabe / ppx_bigarray

  View on GitHub
  A PPX extension for big array literals in OCaml
  ☆19Jul 18, 2018Updated 8 years ago
• seanesss / docker-epidemic-build-env

  View on GitHub
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆31Apr 24, 2016Updated 10 years ago
• lambda-pi-plus / lambda-pi-plus

  View on GitHub
  A simple Depdently-Typed Language for Research and Learning
  ☆57Aug 20, 2016Updated 9 years ago
• beeramtheman / 99haskell

  View on GitHub
  Live Haskell coding problems
  ☆40Sep 30, 2015Updated 10 years ago
• osa1 / Shen.hs

  View on GitHub
  Shen implementation in Haskell
  ☆16Aug 19, 2013Updated 12 years ago
• rizo / io

  View on GitHub
  Simple, secure and composable I/O abstraction for construction of efficient computation workflows.
  ☆10Jun 11, 2016Updated 10 years ago
• clarus / coq-chick-blog

  View on GitHub
  🐣 A blog engine written and proven in Coq
  ☆180Dec 1, 2019Updated 6 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• koengit / KeyMonad

  View on GitHub
  ☆13Jul 31, 2016Updated 10 years ago
• wyc / armbot

  View on GitHub
  ☆152Jul 17, 2014Updated 12 years ago
• egison / egison-tutorial

  View on GitHub
  The Egison tutorial
  ☆15Dec 18, 2021Updated 4 years ago
• glguy / config-value

  View on GitHub
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Jan 16, 2026Updated 7 months ago
• christian-marie / git-vogue

  View on GitHub
  Make your Haskell git repositories fashionable.
  ☆55May 12, 2018Updated 8 years ago
• Wukix / mocl-example-lisp-contacts-ios

  View on GitHub
  mocl Example: Contact list application for iOS
  ☆22May 6, 2014Updated 12 years ago
• the-real-blackh / sodium-2d-game-engine

  View on GitHub
  A cross-platform Haskell/Sodium/OpenGL game engine
  ☆25Dec 18, 2013Updated 12 years ago
• jcoyne / elixir_rdf

  View on GitHub
  RDF parser written in Elixir
  ☆13Apr 5, 2017Updated 9 years ago
• YahboomTechnology / Raspblock

  View on GitHub
  Yahboom Raspblock AI smart car for Raspberry Pi 4B
  ☆11Jul 5, 2023Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• bit-player / primeafterprime

  View on GitHub
  Julia notebook for exploring correlations among consecutive primes.
  ☆10Sep 7, 2020Updated 5 years ago
• emberjs-seattle / ember-reader

  View on GitHub
  SImple RSS reader built with Ember.js
  ☆22Apr 26, 2013Updated 13 years ago
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• j0sh / ocaml-gensqlite

  View on GitHub
  OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions
  ☆12Nov 17, 2015Updated 10 years ago
• Armael / ocaml-loliwm

  View on GitHub
  Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml
  ☆13Feb 7, 2015Updated 11 years ago
• blitzcode / ghc-stack

  View on GitHub
  Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
  ☆69Jan 21, 2014Updated 12 years ago
• louispan / glazier

  View on GitHub
  Command interpreter using Continuation monad and variants
  ☆12Dec 7, 2019Updated 6 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 11 years ago
• let-def / assimp

  View on GitHub
  Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
  ☆11Nov 28, 2016Updated 9 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• EDeijl / CPHConsoleApp

  View on GitHub
  Cross Platform Haskell console application that should work on iOS and Android
  ☆39Oct 14, 2015Updated 10 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆11Jan 9, 2022Updated 4 years ago
• modular-implicits / imp

  View on GitHub
  Experimental library using modular implicits
  ☆17Sep 25, 2023Updated 2 years ago
• JetMaxRoboticArm / jetmax_demos

  View on GitHub
  ☆11Nov 3, 2021Updated 4 years ago
• ajhc / demo-android-ndk

  View on GitHub
  Demo Ajhc application on Android NDK
  ☆55Nov 20, 2013Updated 12 years ago
• nomeata / haskell-via-sokoban

  View on GitHub
  A haskell tutorial using CodeWorld
  ☆19Jan 5, 2025Updated last year