functional-language

There are 12 repositories under functional-language topic.

• ocaml

  ocaml / ocaml

  The core OCaml system: compilers, runtime system, base libraries

  compilerfunctional-languageocaml
  Language:OCaml 5316
• coconut

  evhub / coconut

  Simple, elegant, Pythonic functional programming.

  coconutcompilerfunctionalfunctional-languagefunctional-programminglanguageprogramming-languagepythonxonshxontrib
  Language:Python 4005

• roc-lang / roc

  A fast, friendly, functional language.

  functional-languagefunctional-programminglanguageroc-lang
  Language:Rust 3918

• janet-lang / janet

  A dynamic language and bytecode vm

  clanguagevmlispmacrosreplinterpreterfunctional-languageimperative-language
  Language:C 3386

• sdiehl / write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  haskelcompilerbookevaluationlambda-calculustypetype-checkingtype-systempdf-bookfunctional-programmingfunctional-languagehindley-milnertype-inferencetype-theoryintermediate-representation
  Language:Haskell 3329

• curv3d / curv

  a language for making art using mathematics

  3dcreative-codingcsgfunction-representationfunctional-languagegenerative-artlanguagesigned-distance-fieldsolid-modeling
  Language:C++ 1133
• caramel

  leostera / caramel

  :candy: a functional language for building type-safe, scalable, and maintainable applications

  caramelcompilerelixirerlangfunctional-languageocamltype-safe
  Language:OCaml 1050

• Hirrolot / metalang99

  Full-blown preprocessor metaprogramming

  cc99cppcpp11programming-languagemetaprogrammingmacrosembedded-languageheader-onlyfunctional-programmingfpfunctional-languageinterpreterlanguagemetalang99
  Language:C 838
• fpdart

  SandroMaglione / fpdart

  Functional programming in Dart and Flutter. All the main functional programming types and patterns fully documented, tested, and with examples.

  catsdartdart-functionaldart-functional-programmingdart-packagedartlangflutterflutter-favoriteflutter-functionalflutter-packagefp-tsfpdartfunctionalfunctional-languagefunctional-programmingfunctional-programming-examples
  Language:Dart 517

• never-lang / never

  Never: statically typed, embeddable functional programming language.

  programming-languagefunctional-programmingcompilersvirtual-machinelanguagefunctional-languagescripting-languagecompiler
  Language:C 430

• amuletml / amulet

  An ML-like functional programming language

  compilerfunctional-languagehaskellml
  Language:Haskell 324

• morloc-project / morloc

  A typed, polyglot, functional language

  programming-languagetype-systeminteroperabilityontologiesfunctional-languagelanguagecode-generationpolyglot
  Language:Haskell 193
• yantra

  yantrajs / yantra

  JavaScript Engine for .NET Standard

  netcorestandardcsharpcsharp-librarynet-standardjavascriptjavascript-compilercompilerdotnetjavascript-engineyantrajsdotnet-coreapache2parsercommonjsfunctional-languageasync-awaitgenerator-functionlibrary
  Language:JavaScript 190

• lettier / lambda-lantern

  🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

  panda3dpurescriptcppcpp11gamegame-developmentbindingsfunctional-programminghaskellpurescript-nativegame-enginegamedevvideo-gamefunctional-reactive-programmingindiegamefunctional-languagefunctionalnativenative-appsdesktop-app
  Language:PureScript 163

• AnyDSL / impala

  An imperative and functional programming language

  compilerimperative-programming-languagefunctional-languagecontinuation-passing-styledomain-specific-languagepartial-evaluatorsgpucpuvectorizationsimd
  Language:C++ 150

• moevis / lambda-lite-js

  a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。

  functional-languagejavascriptlambda
  Language:JavaScript 79
• MaterialMakerRayMarching

  paulofalcao / MaterialMakerRayMarching

  Make complex Ray Marching SDF objects using nodes with the Material Maker editor and this library

  glslraymarchingsigned-distance-fieldfunctional-languagecsgsigned-distance-functionsnodebased3dsdfprocedural-generationmaterial-makernodes
  64
• manool

  rusini / manool

  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability

  developmentsoftware-developmentprogrammingcompilerinterpreterprogramming-languagehomoiconicmulti-paradigmgeneral-purposepracticalfunctionalfunctional-programmingfunctional-languagefunctional-coredynamically-typedstrongly-typedimperativeimperative-programmingproceduralprocedural-programming
  Language:C 61

• cyrus- / typy

  A fragmentary bidirectional type system as a Python library

  algebraic-data-typesfunctional-languagepattern-matchingprogramming-languagepython
  Language:Python 53

• andgate / type-theory-compiler

  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

  compilerfunctional-languagefunctional-programminglambda-calculuslanguagestype-system
  Language:Haskell 42

• malgo-lang / malgo

  A statically typed functional programming language.

  programming-languagefunctional-languagecompilermalgollvmfunctional-programming
  Language:Haskell 41

• louisrubet / rpn

  RPN cli calculator

  matharbitrary-precisionpolish-notationfunctional-languagecalculatorrpn
  Language:C++ 39

• mocabe / yave

  Functional visual programming language with FRP for multimedia

  functional-languagemultimedia-processingfrpvisual-programming-languagevisual-programmingfunctional-reactive-programming
  Language:C++ 33

• Melchizedek6809 / Nujel

  A small, embeddable Lisp dialect

  functional-languageimperative-languageinterpreterlanguagelisplisp-dialectmacrosprogramming-languagevm
  Language:Scheme 21

• melody-notpond / curly-lang-legacy

  Curly programming language

  curlyprogramming-languagefunctional-programmingfunctional-languagec
  Language:C 18

• lambduli / frea

  A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

  replprogramming-languagetype-inferencedamas-hindley-milnerhindley-milnerhigher-kinded-typesfunctional-languageinferencelazy-evaluation
  Language:Haskell 17

• Genivia / Husky

  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

  lazy-evaluationlambda-calculushindley-milnerfunctional-languagetype-inference
  Language:Prolog 13

• yesco / jml

  jml - a useful web/cloud minimal unikernel distributed operating system

  lambda-calculuslanguageevalfunctional-languagefunctionalwebhtmlwebserverunikerneloperating-systemurbit
  Language:C 12

• 98devin / woden-lang

  A stack-based, interpreted programming language implemented in livescript.

  programming-languageimplementationfunctional-languagestack-basedstackinterpreter
  Language:LiveScript 10

• MisakaCenter / Pistolet

  🔫 Toy ML-like Imperative Programming Language (WIP)

  programming-languageimperative-programming-languagefunctional-languagerust
  Language:Rust 10

• Merlin04 / experimental-type-lang

  Experimental programming language loosely based on the TypeScript type system

  typescriptjavascriptlanguagefunctional-languageexperimental
  Language:TypeScript 9

• thomasebsmith / fleet

  A flexible functional programming language with a C++ interpreter

  cppinterpreted-programming-languagefunctional-language
  Language:C++ 9

• aradarbel10 / Styff

  A functional programming language based on system F (omega) ft. NbE and higher order unification

  compilergadtspattern-matchingsystem-f-omegatype-inferencetypecheckingfunctional-languageprogramming-languagesystem-focaml
  Language:OCaml 8

• chameco / reliquary

  Concatenative dependently-typed functional programming language

  languagefunctional-languagedependent-typesconcatenativelambda-calculus
  Language:Haskell 8

• Jaimeloeuf / SS

  SimpleScript, A Simpler Programming Language (WIP)

  languagelanguage-experimentjavascripttypescriptrustllvmjvmprogramming-languagefunctional-languageinterpreterscripting-languagewysiwygsimplescriptlanguage-specsmlocamlfsharphindley-milner
  Language:Rust 8

• Zumisha / FPTL

  Functional Parallel Typified Language

  fptlfunctional-languageinterpreterparallel-language
  Language:C++ 8