Repository for LambdaConf 2018 and related material.
☆23Dec 4, 2018Updated 7 years ago
Alternatives and similar repositories for lambdaconf-2018
Users that are interested in lambdaconf-2018 are comparing it to the libraries listed below
Sorting:
- A Haskell library to pretty print data in a tabular format☆11Mar 18, 2018Updated 7 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- A purity and nullability analysis tool for Java.☆26Aug 9, 2018Updated 7 years ago
- The official supporting materials repository for LambdaConf 2015.☆90May 29, 2015Updated 10 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- Moot is a CFP and event management system!☆66Oct 28, 2018Updated 7 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆12Aug 28, 2024Updated last year
- A JVM bytecode assembler written in Haskell.☆35May 15, 2016Updated 9 years ago
- A UI library with easy and flexible state management inspired by Recoil.js and React Hooks.☆35Nov 12, 2022Updated 3 years ago
- PureScript FFI Best Practices☆35Dec 28, 2019Updated 6 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- ☆11Mar 1, 2017Updated 9 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆45Jun 6, 2019Updated 6 years ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- ☆10Nov 30, 2017Updated 8 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- adaptation of rogue from https://github.com/foursquare/fsqio☆10Nov 3, 2025Updated 4 months ago
- 📚 整理javascript的各种奇技淫巧☆11Oct 23, 2019Updated 6 years ago
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 3 months ago
- ☆16Jun 22, 2024Updated last year
- vim text objects for haskell☆17Oct 26, 2015Updated 10 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- CodeSearch plugin for all IntelliJ-based IDEs☆13Oct 17, 2020Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- ☆10May 2, 2022Updated 3 years ago
- Events and Signals for FRP. Monad instances included☆12Dec 11, 2022Updated 3 years ago
- ☆11Updated this week
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Format Markdown in emacs using markdownfmt☆11Jan 14, 2022Updated 4 years ago
- Scala-based project to visualize Scala programs in UML class diagrams.☆12Aug 30, 2023Updated 2 years ago