functional-language

There are 14 repositories under functional-language topic.

• ocaml

  ocaml / ocaml

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

  compilerfunctional-languageocaml
  Language:OCaml 6009

• roc-lang / roc

  A fast, friendly, functional language.

  functional-languagefunctional-programminglanguageroc-lang
  Language:Rust 5291
• coconut

  evhub / coconut

  Simple, elegant, Pythonic functional programming.

  coconutcompilerfunctionalfunctional-languagefunctional-programminglanguageprogramming-languagepythonxonshxontrib
  Language:Python 4273

• janet-lang / janet

  A dynamic language and bytecode vm

  clanguagevmlispmacrosreplinterpreterfunctional-languageimperative-language
  Language:C 4027

• sdiehl / write-you-a-haskell

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

  bookcompilerevaluationfunctional-languagefunctional-programminghaskelhindley-milnerintermediate-representationlambda-calculuspdf-booktypetype-checkingtype-inferencetype-systemtype-theory
  Language:Haskell 3444

• curv3d / curv

  a language for making art using mathematics

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

  leostera / caramel

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

  ocamlerlangcompilercaramelelixirfunctional-languagetype-safe
  Language:OCaml 1095

• hirrolot / metalang99

  Full-blown preprocessor metaprogramming

  cc99cppcpp11embedded-languagefpfunctional-languagefunctional-programmingheader-onlyinterpreterlanguagemacrosmetalang99metaprogrammingprogramming-language
  Language:C 1023
• 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 598

• never-lang / never

  Never: statically typed, embeddable functional programming language.

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

• amuletml / amulet

  An ML-like functional programming language

  functional-languagecompilerhaskellml
  Language:Haskell 340
• yantra

  yantrajs / yantra

  JavaScript Engine for .NET

  netcorestandardcsharpcsharp-librarynet-standardjavascriptjavascript-compilercompilerdotnetjavascript-engineyantrajsdotnet-coreparserfunctional-languageasync-awaitgenerator-functionlibraryjavascript-enginesjavascript-runtime
  Language:JavaScript 252

• morloc-project / morloc

  A typed, polyglot, functional language

  programming-languagetype-systeminteroperabilityontologiesfunctional-languagelanguagecode-generationpolyglot
  Language:Haskell 205

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

• AnyDSL / impala

  An imperative and functional programming language

  compilerimperative-programming-languagefunctional-languagecontinuation-passing-styledomain-specific-languagepartial-evaluatorsgpucpuvectorizationsimd
  Language:C++ 158
• MaterialMakerRayMarching

  paulofalcao / MaterialMakerRayMarching

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

  3dcsgfunctional-languageglslmaterial-makernodebasednodesprocedural-generationraymarchingsdfsigned-distance-fieldsigned-distance-functions
  87

• moevis / lambda-lite-js

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

  javascriptfunctional-languagelambda
  Language:JavaScript 79
• 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 63

• cyrus- / typy

  A fragmentary bidirectional type system as a Python library

  programming-languagefunctional-languagealgebraic-data-typespattern-matchingpython
  Language:Python 52

• louisrubet / rpn

  RPN cli calculator

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

• malgo-lang / malgo

  A statically typed functional programming language.

  programming-languagefunctional-languagecompilermalgofunctional-programming
  Language:Haskell 45

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

• mocabe / yave

  Functional visual programming language with FRP for multimedia

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

• Melchizedek6809 / Nujel

  A small, embeddable Lisp dialect

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

• melody-notpond / curly-lang-legacy

  Curly programming language

  curlyprogramming-languagefunctional-programmingfunctional-languagec
  Language:C 18

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

• notdroplt / Zenith

  my language project (this time better name and it actually works™)

  compiler-designfunctional-language
  Language:Zig 13

• yesco / jml

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

  lambda-calculuslanguageevalfunctional-languagefunctionalwebhtmlwebserverunikerneloperating-systemurbit
  Language:C 13

• 98devin / woden-lang

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

  programming-languageimplementationfunctional-languagestack-basedstackinterpreter
  Language:LiveScript 10

• bynect / algorithm-w

  Type inference implementation in OCaml using Algorithm W

  type-inferencehindley-milnerfunctional-programmingocamlfunctional-languagetype-system
  Language:OCaml 10

• trackoor / Pistolet

  🔫 Toy ML-like Imperative Programming Language (WIP)

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

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

• DavidGregory084 / mina

  A minimum viable functional programming language for the JVM

  compilerfunctional-languagefunctional-languagesfunctional-programmingjava-virtual-machinejvmjvm-languageslanguageprogramming-languagestatically-typed
  Language:Java 9

• Merlin04 / experimental-type-lang

  Experimental programming language loosely based on the TypeScript type system

  typescriptjavascriptlanguagefunctional-languageexperimental
  Language:TypeScript 9

• molarmanful / sclin

  A concatenative cyborg chimera.

  arbitrary-precisionarray-languageconcatenative-languageesolangfunctional-languagegotointerpreterscalastack-based-languagetype-conversionweird-language
  Language:Scala 9

• rphle / numfu

  Functional programming language designed for readable & expressive code, extensibility, and mathematical computing with arbitrary precision arithmetic.

  arbitrary-precisionarbitrary-precision-arithmeticfunctional-languagefunctional-programminglanguagempmathprogramming-languageprogramming-languagespythonpython3numfu
  Language:Python 9