Skip to content

@lamdu The Lamdu IDE

Change the repository type filter

All

    Repositories list

    22 repositories

    • hypertypes

      Public
      Hypertypes - generic programming for heterogeneous recursive types
      programming-languagestype-inferencetype-checkerprogramming-language-development
      Haskell
      •
      Other
      •9•112•7•2•Updated Sep 9, 2024Sep 9, 2024

    • lamdu

      Public
      lamdu - towards the next generation IDE
      programming-languageintegrated-development-environmentprogrammer-toolstructure-editorprojectional-editorwytiwys
      Haskell
      •
      GNU General Public License v3.0
      •69•1.9k•20•0•Updated Sep 6, 2024Sep 6, 2024

    • language-ecmascript

      Public
      Haskell library: ECMAScript parser, pretty-printer and additional tools
      Haskell
      •
      Other
      •30•0•0•0•Updated Aug 25, 2024Aug 25, 2024

    • text-trie

      Public
      An efficient finite map from Text to values, based on bytestring-trie.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •24•0•0•0•Updated Aug 25, 2024Aug 25, 2024

    • rocksdb-haskell

      Public
      Haskell bindings to LevelDB (https://github.com/google/leveldb)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •50•2•0•0•Updated Aug 25, 2024Aug 25, 2024

    • lamdu-calculus

      Public
      An extended typed Lambda Calculus
      Haskell
      •
      Other
      •3•20•0•0•Updated Aug 5, 2024Aug 5, 2024

    • momentu

      Public
      A purely functional animated GUI framework
      user-interfaceanimation-librarygui-library
      Haskell
      •
      Other
      •0•14•0•0•Updated Jul 20, 2023Jul 20, 2023

    • GLFW-b

      Public
      Haskell bindings to GLFW
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •32•0•0•0•Updated Jun 7, 2023Jun 7, 2023

    • bindings-GLFW

      Public
      Low-level Haskell bindings to GLFW
      C
      •
      BSD 2-Clause "Simplified" License
      •33•0•0•0•Updated Jun 7, 2023Jun 7, 2023

    • glfw

      Public
      A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
      C
      •
      zlib License
      •5.2k•0•0•0•Updated Jun 7, 2023Jun 7, 2023

    • inline-c

      Public
      Haskell
      •49•0•0•0•Updated May 11, 2023May 11, 2023

    • bindings-freetype-gl

      Public
      Low-level Haskell bindings for the freetype-gl library
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•1•1•Updated May 8, 2023May 8, 2023

    • lamdu.github.io

      Public
      Github pages site lamdu.github.io
      JavaScript
      •3•1•0•0•Updated May 29, 2022May 29, 2022

    • presentations

      Public
      Ideas for videos, papers and posts
      HTML
      •1•1•0•0•Updated Jul 20, 2021Jul 20, 2021

    • graphics-drawingcombinators

      Public
      Combinators for drawing 2D shapes and images in Haskell (using OpenGL)
      Haskell
      •16•1•0•0•Updated May 8, 2021May 8, 2021

    • FreetypeGL

      Public
      High-level Haskell bindings for the freetype-gl package
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•0•Updated May 8, 2021May 8, 2021

    • nodejs-exec

      Public
      NodeJS embedded in a Haskell cabal package
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Sep 28, 2019Sep 28, 2019

    • Algorithm-W-Step-By-Step

      Public
      Classic Algorithm W for type inference.
      Haskell
      •
      GNU General Public License v3.0
      •20•4•0•0•Updated Feb 20, 2019Feb 20, 2019

    • freetype2

      Public
      My personal branch of the freetype2 source code
      C
      •
      Other
      •12•1•0•0•Updated Nov 15, 2018Nov 15, 2018

    • presentation-live-2018

      Public
      Work on presentation for LIVE 2018
      HTML
      •1•0•0•0•Updated Aug 17, 2018Aug 17, 2018

    • freetype-gl

      Public
      OpenGL text using one vertex buffer, one texture and FreeType
      C
      •
      Other
      •264•0•0•0•Updated Aug 10, 2017Aug 10, 2017

    • lambdu

      Public
      Typo-redirection page to Lamdu
      CSS
      •2•0•0•0•Updated Jun 8, 2017Jun 8, 2017