TikhonJelvis / talks

Related projects: ⓘ

• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 5 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• ryanorendorff / lc-2017-fusion
  LambdaConf 2017 Fusion Presentation
  ☆10Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆120Updated 8 years ago
• conal / quotes
  My favorite quotes
  ☆17Updated last month
• deech / lambdaconf-shen-talk
  ☆14Updated 8 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• sjsyrek / dinner-for-devs
  Simple recipes for lazy programmers.
  ☆35Updated 3 years ago
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 9 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• jwiegley / notes
  ☆45Updated 2 months ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 4 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 5 years ago
• gasche / icfp2013-papers
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago