programming-language   2872

« earlier    

curv3d/curv: a language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing.


Curv is a simple, powerful, dynamically typed, pure functional programming language.
Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models.
Coloured shapes are represented using Function Representation (F-Rep). They can be infinitely detailed, infinitely large, and any shape or colour pattern that can be described using mathematics can be represented exactly.
Curv exposes the full power of F-Rep programming to experts. The standard geometry library is written entirely in Curv. Many of the demos seen on can be reproduced in Curv, using shorter, simpler programs. Experts can package techniques used on shadertoy as high level operations for use by beginners.
Rendering is GPU accelerated. Curv programs are compiled into fragment shaders which are executed on the GPU.
Curv can export meshes to STL, OBJ and X3D files for 3D printing. The X3D format supports full colour 3D printing (on, at least). These meshes are defect free: watertight, manifold, with no self intersections, degenerate triangles, or flipped triangles.
mathematical-recreations  generative-art  3d  programming-language  visualization 
yesterday by Vaguery
Bosque Language programming language - Experiment in regularized design for a machine assisted rapid and reliable software development lifecycle
The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines. The key design features of the language provide ways to avoid accidental complexity in the development and coding process. The result is improved developer productivity, increased software quality, and enable a range of new compilers and developer tooling experiences. By Microsoft.
programming-language  functional-programming  Typescript 
3 days ago by liqweed
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages
Volume 3 Issue POPL, January 2019 table of contents
computer-science  programming-language  formal-languages  to-try-to-understand-some-day  rather-interesting 
8 days ago by Vaguery
Programming as interaction: A new perspective for programming language research
Rather than treating programs as syntactic expressions, we should treat programs as results of a series of interactions that were used to create the program. Those interactions include writing code, but also refactoring, copy and paste or running a bit of program in REPL or a notebook system. By considering these as part of the process, we can create a richer notion of programming language that lets us focus on making programming easier.
programming  programming-language  computer-science 
17 days ago by basus

« earlier    

related tags

+blog  3d  3d_printing  6502  @proglang  abstraction  allocation  alternative  api  archives  article  assembler  atari  ballerina  bliss  book  books  c#  c++  c  classification  compilation  compiler  computer-science  computer_science  concatenative-languages  consider:gp  consider:robustness  cool  cuda  data-parallelism  data  design  docker  dsl  dynamically-typed  engineering-design  error-messages  esolang  flow-languages  formal-languages  formal-logic  forth  functional-languages  functional-programming  functional  games  garbage-collection  generative-art  genetic-programming  golang  gpu  grpc  have-read  homoiconicity  inference  islisp  javascript  joy  js  jvm  language  learning  lecture-notes  lisp  logic-programming  logic  low-level  math-art  mathematical-recreations  memory-management  memory  meta-programming  metaprogramming  ml  neural-networks  ocaml  online  ontology  opencl  optimization  optimizing-compilation  parallel  parallelism  performance  peter-alvaro  plt  programming  rather-interesting  reference  representation  req  research-language  retro  review  rewriting-systems  rust  scripting  shell  shriram-krishnamurthi  simd  similar-to-req-problems  smalltalk  society  sort-of  specification  stack-based  standards  static-typed  to-cite  to-read  to-try-to-understand-some-day  to-understand  to-watch  to-write-about  top  tutorial  tweets  type-systems  typescript  university-ad-hoc  usability  usenet  visualization  vlang 

Copy this bookmark: