functional-language

There are 11 repositories under functional-language topic.

• ocaml

  ocaml / ocaml

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

  compilerfunctional-languageocaml
  Language:OCaml 5153
• coconut

  evhub / coconut

  Simple, elegant, Pythonic functional programming.

  pythonfunctionallanguagefunctional-programmingfunctional-languageprogramming-languagecoconutxonshxontribcompiler
  Language:Python 3941

• roc-lang / roc

  A fast, friendly, functional language. Work in progress!

  functional-languagefunctional-programminglanguageroc-lang
  Language:Rust 3536

• 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 3308

• janet-lang / janet

  A dynamic language and bytecode vm

  cfunctional-languageimperative-languageinterpreterlanguagelispmacrosreplvm
  Language:C 3296

• curv3d / curv

  a language for making art using mathematics

  signed-distance-fieldfunction-representationsolid-modelingfunctional-languagelanguagecsg3dcreative-codinggenerative-art
  Language:C++ 1127
• caramel

  leostera / caramel

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

  caramelcompilerelixirerlangfunctional-languageocamltype-safe
  Language:OCaml 1036

• Hirrolot / metalang99

  Full-blown preprocessor metaprogramming

  cc99cppcpp11programming-languagemetaprogrammingmacrosembedded-languageheader-onlyfunctional-programmingfpfunctional-languageinterpreterlanguagemetalang99
  Language:C 765
• 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 491

• never-lang / never

  Never: statically typed, embeddable functional programming language.

  programming-languagefunctional-programmingcompilersvirtual-machinelanguagefunctional-languagescripting-languagecompiler
  Language:C 401
• phel-lang

  phel-lang / phel-lang

  Phel is a functional programming language that transpiles to PHP. A Lisp dialect inspired by Clojure and Janet.

  clojurefunctional-programminglanguagelispphelphel-langphpprogramming-languagetranspiler
  Language:PHP 395

• amuletml / amulet

  An ML-like functional programming language

  functional-languagecompilerhaskellml
  Language:Haskell 320

• 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 175

• 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 159

• 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
  62
• 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 60

• cyrus- / typy

  A fragmentary bidirectional type system as a Python library

  programming-languagefunctional-languagealgebraic-data-typespattern-matchingpython
  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.

  compilerlanguageslambda-calculustype-systemfunctional-programmingfunctional-language
  Language:Haskell 42

• malgo-lang / malgo

  A statically typed functional programming language.

  programming-languagefunctional-languagecompilermalgollvmfunctional-programming
  Language:Haskell 40

• louisrubet / rpn

  RPN cli calculator

  arbitrary-precisioncalculatorfunctional-languagemathpolish-notationrpn
  Language:C++ 39

• mocabe / yave

  Functional visual programming language with FRP for multimedia

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

• Melchizedek6809 / Nujel

  A small, embeddable Lisp dialect

  lispprogramming-languageinterpreterlanguagevmmacrosfunctional-languageimperative-languagelisp-dialect
  Language:Scheme 19

• 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

  evalfunctionalfunctional-languagehtmllambda-calculuslanguageoperating-systemunikernelurbitwebwebserver
  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

• 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

• Jaimeloeuf / SS

  SimpleScript, A Simpler Programming Language (WIP)

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

• Merlin04 / experimental-type-lang

  Experimental programming language loosely based on the TypeScript type system

  typescriptjavascriptlanguagefunctional-languageexperimental
  Language:TypeScript 8

• Zumisha / FPTL

  Functional Parallel Typified Language

  fptlfunctional-languageinterpreterparallel-language
  Language:C++ 8